Results for 'Loomis-Sikorski Theorem'

966 found
Order:
  1.  35
    T. Traczyk. On axioms and some properties of Post algebras. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 10 , pp. 509–512. - T. Traczyk. Axioms and some properties of Post algebras. Colloquium mathematicum, vol. 10 , pp. 193–209. - T. Traczyk. A generalization of the Loomis-Sikorski theorem.Colloquium mathematicum, vol. 12 , pp. 155–161. [REVIEW]George Gratzer - 1969 - Journal of Symbolic Logic 34 (1):121-121.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  2.  49
    Smearing of Observables and Spectral Measures on Quantum Structures.Anatolij Dvurečenskij - 2013 - Foundations of Physics 43 (2):210-224.
    An observable on a quantum structure is any σ-homomorphism of quantum structures from the Borel σ-algebra of the real line into the quantum structure which is in our case a monotone σ-complete effect algebra with the Riesz Decomposition Property. We show that every observable is a smearing of a sharp observable which takes values from a Boolean σ-subalgebra of the effect algebra, and we prove that for every element of the effect algebra there corresponds a spectral measure.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  3.  32
    Sikorski R.. On Herbrand's theorem. Colloquium mathematicum, vol. 6 , pp. 55–58.Donald Monk - 1970 - Journal of Symbolic Logic 35 (4):587-587.
  4.  35
    R. Sikorski. On a generalization of theorems of Banach and Cantor-Bernstein. Colloquium mathematicum, vol. 1 , pp. 140–144. - Shin’ichi Kinoshita. A solution of a problem of R. Sikorski. Fundamenta mathematicae, vol. 40 , pp. 39–41. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (1):130-131.
  5.  47
    Rasiowa H. and Sikorski R.. A proof of the Skolem-Löwenheim theorem. Fundamenta mathematicae, vol. 38 , pp. 230–232.Solomon Feferman & Alfred Tarski - 1953 - Journal of Symbolic Logic 18 (4):339-340.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  61
    Rasiowa H. and Sikorski R.. A proof of the completeness theorem of Gödel. Fundamenta mathemalicae, vol. 37 , pp. 193–200. [REVIEW]Solomon Feferman - 1952 - Journal of Symbolic Logic 17 (1):72-72.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  7.  32
    Topological Proofs of Some Rasiowa-Sikorski Lemmas.Robert Goldblatt - 2012 - Studia Logica 100 (1-2):175-191.
    We give topological proofs of Görnemann’s adaptation to Heyting algebras of the Rasiowa-Sikorski Lemma for Boolean algebras; and of the Rauszer-Sabalski generalisation of it to distributive lattices. The arguments use the Priestley topology on the set of prime filters, and the Baire category theorem. This is preceded by a discussion of criteria for compactness of various spaces of subsets of a lattice, including spaces of filters, prime filters etc.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  45
    Rasiowa H. and Sikorski R.. On existential theorems in non-classical junctional calculi. Fundamenta mathematicae, vol. 41 no. 1 , pp. 21–28. [REVIEW]Leon Henkin - 1955 - Journal of Symbolic Logic 20 (1):80-80.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  9. (1 other version)Review: R. Sikorski, A Theorem on Non-Classical Functional Calculi; R. Sikorski, Some Applications of Interior Mappings. [REVIEW]Mihaly Makkai - 1967 - Journal of Symbolic Logic 32 (4):537-537.
     
    Export citation  
     
    Bookmark  
  10. On the strength of the Sikorski extension theorem for Boolean algebras.J. L. Bell - 1983 - Journal of Symbolic Logic 48 (3):841-846.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  45
    W. A. J. Luxemburg. A remark on Sikorski's extension theorem for homomorphisms in the theory of Boolean algebras. Fundamenta mathematicae, vol. 55 , pp. 239–247. [REVIEW]Donald Monk - 1967 - Journal of Symbolic Logic 32 (1):131.
  12.  76
    On the role of the baire category theorem and dependent choice in the foundations of logic.Robert Goldblatt - 1985 - Journal of Symbolic Logic 50 (2):412-422.
    The Principle of Dependent Choice is shown to be equivalent to: the Baire Category Theorem for Čech-complete spaces (or for complete metric spaces); the existence theorem for generic sets of forcing conditions; and a proof-theoretic principle that abstracts the "Henkin method" of proving deductive completeness of logical systems. The Rasiowa-Sikorski Lemma is shown to be equivalent to the conjunction of the Ultrafilter Theorem and the Baire Category Theorem for compact Hausdorff spaces.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  13.  35
    Another Characterization of Alephs: Decompositions of Hyperspace.John C. Simms - 1997 - Notre Dame Journal of Formal Logic 38 (1):19-36.
    A theorem of Sierpinski of 1919 characterized the cardinality of the continuum by means of lines in two orthogonal directions in the plane: CH if and only if there is a subset S of the plane such that every horizontal cross-section of S is countable and every vertical cross-section of S is co-countable. A theorem of Sikorski of 1951 characterizes the cardinality of an arbitrary set by means of hyperplanes in orthogonal directions in finite powers of that (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14. An algebraic treatment of the Barwise compactness theory.Isidore Fleischer & Philip Scott - 1991 - Studia Logica 50 (2):217 - 223.
    A theorem on the extendability of certain subsets of a Boolean algebra to ultrafilters which preserve countably many infinite meets (generalizing Rasiowa-Sikorski) is used to pinpoint the mechanism of the Barwise proof in a way which bypasses the set theoretical elaborations.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15. Analyticity.Cory Juhl & Eric Loomis - 2009 - New York: Routledge. Edited by Eric Loomis.
    Analyticity, or the 'analytic/synthetic' distinction is one of the most important and controversial problems in contemporary philosophy. It is also essential to understanding many developments in logic, philosophy of language, epistemology and metaphysics. In this outstanding introduction to analyticity Cory Juhl and Eric Loomis cover the following key topics: The origins of analyticity in the philosophy of Hume and Kant Carnap's arguments concerning analyticity in the early twentieth century Quine's famous objections to analyticity in his classic 'Two Dogmas of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  16.  55
    A Kripke semantics for the logic of Gelfand quantales.Gerard Allwein & Wendy MacCaull - 2001 - Studia Logica 68 (2):173-228.
    Gelfand quantales are complete unital quantales with an involution, *, satisfying the property that for any element a, if a b a for all b, then a a* a = a. A Hilbert-style axiom system is given for a propositional logic, called Gelfand Logic, which is sound and complete with respect to Gelfand quantales. A Kripke semantics is presented for which the soundness and completeness of Gelfand logic is shown. The completeness theorem relies on a Stone style representation (...) for complete lattices. A Rasiowa/Sikorski style semantic tableau system is also presented with the property that if all branches of a tableau are closed, then the formula in question is a theorem of Gelfand Logic. An open branch in a completed tableaux guarantees the existence of an Kripke model in which the formula is not valid; hence it is not a theorem of Gelfand Logic. (shrink)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  17. Zorn's lemma and complete Boolean algebras in intuitionistic type theories.J. L. Bell - 1997 - Journal of Symbolic Logic 62 (4):1265-1279.
    We analyze Zorn's Lemma and some of its consequences for Boolean algebras in a constructive setting. We show that Zorn's Lemma is persistent in the sense that, if it holds in the underlying set theory, in a properly stated form it continues to hold in all intuitionistic type theories of a certain natural kind. (Observe that the axiom of choice cannot be persistent in this sense since it implies the law of excluded middle.) We also establish the persistence of some (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  18.  58
    Limitations on the Fraenkel-Mostowski method of independence proofs.Paul E. Howard - 1973 - Journal of Symbolic Logic 38 (3):416-422.
    The Fraenkel-Mostowski method has been widely used to prove independence results among weak versions of the axiom of choice. In this paper it is shown that certain statements cannot be proved by this method. More specifically it is shown that in all Fraenkel-Mostowski models the following hold: 1. The axiom of choice for sets of finite sets implies the axiom of choice for sets of well-orderable sets. 2. The Boolean prime ideal theorem implies a weakened form of Sikorski's (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  19. Accurate blind pointing to previewed targets while walking.J. M. Loomis & Ja Dasilva - 1989 - Bulletin of the Psychonomic Society 27 (6):494-494.
     
    Export citation  
     
    Bookmark  
  20. A Defense of Naturalism.R. S. Loomis - 1919 - Philosophical Review 28:341.
    No categories
     
    Export citation  
     
    Bookmark  
  21. Criteria and defeasibility : when good evidence is not good enough.Eric J. Loomis - 2007 - In Danièle Moyal-Sharrock, Perspicuous presentations: essays on Wittgenstein's philosophy of psychology. New York: Palgrave-Macmillan.
     
    Export citation  
     
    Bookmark  
  22. Social and interpersonal trust-its loss by disjunction.Cp Loomis & Zk Loomis - 1973 - Humanitas 9 (3):317-331.
     
    Export citation  
     
    Bookmark  
  23. Visual matching of spatial intervals and visually directed walking-a comparison.J. M. Loomis, J. A. DaSilva & S. L. Marques - 1987 - Bulletin of the Psychonomic Society 25 (5):344-344.
     
    Export citation  
     
    Bookmark  
  24.  27
    Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini.Abir Nour - 1999 - Mathematical Logic Quarterly 45 (4):457-466.
    In order to modelize the reasoning of an intelligent agent represented by a poset T, H. Rasiowa introduced logic systems called “Approximation Logics”. In these systems a set of constants constitutes a fundamental tool. In this papers, we consider logic systems called L′T without this kind of constants but limited to the case where T is a finite poset. We prove a weak deduction theorem. We introduce also an algebraic semantics using Hey ting algebra with operators. To prove the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  26
    An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics.Yoshihito Tanaka - 2022 - Mathematical Logic Quarterly 68 (2):189-201.
    We give an extension of the Jónsson‐Tarski representation theorem for both normal and non‐normal modal algebras so that it preserves countably many infinite meets and joins. In order to extend the Jónsson‐Tarski representation to non‐normal modal algebras we consider neighborhood frames instead of Kripke frames just as Došen's duality theorem for modal algebras, and to deal with infinite meets and joins, we make use of Q‐filters, which were introduced by Rasiowa and Sikorski, instead of prime filters. By (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26. Cerebral states during sleep, as studied by human brain potentials.A. L. Loomis, E. N. Harvey & G. A. Hobart - 1937 - Journal of Experimental Psychology 21 (2):127.
  27. Necessity, the a priori, and the standard meter.Eric Loomis - 1999 - Synthese 121 (3):291-307.
    This article critically examines Saul Kripke's (1972) argument for the separability of necessary truths from truths known a priori, focusing on his criticism of the standard meter case presented by Wittgenstein (1968). It attempts to show that Kripke's argument is unworkable on any of several readings. Wittgenstein's own broadly conventionalist account of necessary truth is then considered in the light of the standard meter example.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  28.  32
    C.S. Lewis: a philosophy of education.Steven R. Loomis - 2009 - New York: Palgrave-Macmillan. Edited by Jacob P. Rodriguez.
    In this book about the philosophy of education, Loomis and Rodriguez carefully examine the first principles of theoretic and practical reason necessary for human development and flourishing. Collaborating with the genius of C.S. Lewis, and particularly his brilliant work The Abolition of Man , the authors offer a multi-facetted, interdisciplinary investigation of perennial questions that impact human development and freedom. What is the human being? What are essential criteria for human flourishing? What is the best institutional framework for education? (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  68
    Nonvisual navigation by blind and sighted: assessment of path integration ability.Jack M. Loomis, Roberta L. Klatzky, Reginald G. Golledge, Joseph G. Cicinelli, James W. Pellegrino & Phyllis A. Fry - 1993 - Journal of Experimental Psychology: General 122 (1):73.
  30. Empirical equivalence in the Quine-Carnap debate.Eric J. Loomis - 2006 - Pacific Philosophical Quarterly 87 (4):499–508.
    Alexander George has put forward a novel interpretation of the Quine-Carnap debate over analyticity. George argues that Carnap's claim that there exists an analytic-synthetic distinction was held by Carnap to be empty of empirical consequences. As a result, Carnap understood his position to be empirically indistinguishable from Quine's. Although George defends his interpretation only briefly, I show that it withstands further examination and ought to be accepted. The consequences of accepting it undermine a common understanding of Quine's criticism of Carnap, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  31. Community and Society: Gemeinschaft und Gesellschaft.Ferdinand Tönnies & Charles P. Loomis - 1959 - Science and Society 23 (3):268-271.
     
    Export citation  
     
    Bookmark   12 citations  
  32.  59
    A Defense of Naturalism.Roger Sherman Loomis - 1919 - International Journal of Ethics 29 (2):188-201.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  33.  15
    A Grandniece of Thomas More : Catherine Bentley.Albert Loomie - 1971 - Moreana 8 (1):13-16.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  87
    Electrical potentials of the human brain.A. L. Loomis, E. N. Harvey & G. Hobart - 1936 - Journal of Experimental Psychology 19 (3):249.
  35. Classical Indian Metaphysics.E. Loomis - 2000 - Indian Philosophical Quarterly 27 (3):355-364.
     
    Export citation  
     
    Bookmark  
  36. Eternal Truth by Convention.Eric J. Loomis - unknown
    Within the epistemology of the sciences, conventionalism has been the subject of regular criticism for over six decades. Critics such as W. V. Quine and Morton White, and more recently Nathan Salmon (1992), and Paul Boghossian (1996), have attacked even the most basic tenet of conventionalism, namely its claim that the truth of certain statements is fixed not by stipulation-independent facts, but by the conventions governing the meaning of those statements and their constituents.
    No categories
     
    Export citation  
     
    Bookmark  
  37.  13
    Necessity and Apriority.Eric Loomis - 2017 - In Hans-Johann Glock & John Hyman, A Companion to Wittgenstein. Chichester, West Sussex, UK: Wiley-Blackwell. pp. 346–358.
    The nature of necessary truth was a central concern of Ludwig Wittgenstein. It was present in his early reflections on logic, a core motif of the Tractatus, and a topic he returned to over and again in his reflections on language, logic, and mathematics. This chapter explores the aspects of Wittgenstein's account of necessity and apriority, beginning with the Tractatus, where many of his core insights received their first expression. It discusses two more contemporary accounts of these topics: conceptual role (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  38.  27
    The nature of premeditation in Athenian homicide law.W. T. Loomis - 1972 - Journal of Hellenic Studies 92:86-95.
  39.  22
    Review of Ilham Dilman, Wittgenstein's Copernican Revolution: The Question of Linguistic Idealism[REVIEW]Eric Loomis - 2002 - Notre Dame Philosophical Reviews 2002 (7).
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  31
    Assessment of visual recall and recognition learning in a museum environment.William A. Barnard, Ross J. Loomis & Henry A. Cross - 1980 - Bulletin of the Psychonomic Society 16 (4):311-313.
  41.  28
    Administrative Documents.Thomas S. Kuhn & Stanley M. Loomis - 1956 - Isis 47 (4):455-460.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  25
    Tactile recognition of raised characters: A parametric study.Jack M. Loomis - 1985 - Bulletin of the Psychonomic Society 23 (1):18-20.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  43.  25
    Euclid: Rhetoric in Mathematics.David E. Loomis - 1990 - Philosophia Mathematica (1-2):56-72.
  44.  7
    Interaction of display mode and character size in vibrotactile letter recognition.Jack M. Loomis - 1980 - Bulletin of the Psychonomic Society 16 (5):385-387.
  45.  18
    Length and electrical resistivity changes of neutron irradiated uranium.B. A. Loomis & S. B. Gerber - 1968 - Philosophical Magazine 18 (153):539-553.
  46.  93
    Logical Form and Propositional Function in the Tractatus.Eric J. Loomis - 2005 - Theoria 71 (3):215-240.
    Wittgenstein's Tractatus carefully distinguished the concept all from\nthe notion of a truth-function, and thereby from the quantifiers.\nI argue that Wittgenstein's rationale for this distinction is lost\nunless propositional functions are understood within the context\nof his picture theory of the proposition. Using a model Tractatus\nlanguage, I show how there are two distinct forms of generality implicit\nin quantified Tractatus propositions. Although the explanation given\nin the Tractatus for this distinction is ultimately flawed, the distinction\nitself is a genuine one, and the forms of generality that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47. Mental Models, Psychology of.J. M. Loomis, R. L. Klatzky, R. G. Golledge & J. G. CicineIli - 1991 - In Stephen Everson, Psychology: Companions to Ancient Thought, Vol. 2. New York: Cambridge University Press. pp. 56-89.
     
    Export citation  
     
    Bookmark  
  48.  27
    New light on the spanish ambassador's purchases from Charles I's collection 1649-53.Albert J. Loomie - 1989 - Journal of the Warburg and Courtauld Institutes 52 (1):257-267.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  49.  32
    Speaking of Logical Form: the Tractatus and Carnap’s Logical Syntax of Language.Eric J. Loomis - 2005 - History of Philosophy & Logical Analysis 8 (1):176-202.
  50.  48
    The minimal effect of occlusion on perceived depth from motion parallax.David W. Eby & Jack M. Loomis - 1993 - Bulletin of the Psychonomic Society 31 (4):253-256.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 966