-
25European meeting of the association for symbolic logic: Oxford, England, 1976Journal of Symbolic Logic 42 (3): 437-479. 1977.
-
21The Sentential Calculus with Infinitely Long ExpressionsJournal of Symbolic Logic 30 (1): 95-95. 1965.
-
10Some Definitional Suggestions for Automata TheoryJournal of Symbolic Logic 40 (4): 615-616. 1975.
-
6Hájek Petr. Die durch die schwach inneren relationen gegebenen Modelle der Mengenlehre. Fundamenta mathematicae, vol. 10 , pp. 151–157 (review)Journal of Symbolic Logic 32 (3): 412-412. 1967.
-
13Hájek Petr. Modelle der Mengenlehre, in denen Mengen gegebener Gestalt existieren. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 , pp. 103–115 (review)Journal of Symbolic Logic 33 (3): 474-475. 1968.
-
18Henkin Leon. On a theorem of Vaught. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 58 , pp. 326–328; also ibid., vol. 17 , pp. 326–328 (review)Journal of Symbolic Logic 24 (1): 58-58. 1959.
-
23A Symmetric Primitive notion for Euclidean GeometryJournal of Symbolic Logic 33 (2): 288-289. 1968.
-
46Applications of the Lowenheim-Skolem-Tarski Theorem to Problems of Completeness and DecidabilityJournal of Symbolic Logic 24 (1): 58. 1959.
-
10Petr Hájek and Antonín Sochor. Ein dem Fundierungsaxiom äquivalentes Axiom. Fundamenta mathematicae, vol. 10 , pp. 261–263 (review)Journal of Symbolic Logic 32 (3): 412. 1967.
-
73A Calculus of Regions Respecting Both Measure and TopologyJournal of Philosophical Logic 48 (5): 825-850. 2019.Say that space is ‘gunky’ if every part of space has a proper part. Traditional theories of gunk, dating back to the work of Whitehead in the early part of last century, modeled space in the Boolean algebra of regular closed subsets of Euclidean space. More recently a complaint was brought against that tradition in Arntzenius and Russell : Lebesgue measure is not even finitely additive over the algebra, and there is no countably additive measure on the algebra. Arntzenius advocated modeling gunk…Read more
-
25Logic with Denumerably Long Formulas and Finite Strings of QuantifiersJournal of Symbolic Logic 36 (1): 157-158. 1971.
-
19Boolean-Valued Models and Independence Proofs in Set TheoryJournal of Symbolic Logic 51 (4): 1076-1077. 1986.
-
10Hinges and Automorphisms of the Degrees of Non-constructibilityJournal of Symbolic Logic 54 (3): 1109-1111. 1989.
-
2On completing ordered fieldsIn W. A. J. Luxemburg (ed.), Applications of model theory to algebra, analysis, and probability, Holt, Rinehart and Winston. pp. 274--278. 1969.
-
65Starting from a generalization of the standard axioms for a monoid we present a stepwise development of various, mutually equivalent foundational axiom systems for category theory. Our axiom sets have been formalized in the Isabelle/HOL interactive proof assistant, and this formalization utilizes a semantically correct embedding of free logic in classical higher-order logic. The modeling and formal analysis of our axiom sets has been significantly supported by series of experiments with automate…Read more
-
15Mendelson Elliott. Some proofs of independence in axiomatic set theory (review)Journal of Symbolic Logic 23 (1): 42-44. 1958.
-
58A Proof of the Independence of the Continuum HypothesisJournal of Symbolic Logic 33 (2): 293-293. 1968.
-
1Review: Leon Henkin, On a Theorem of Vaught (review)Journal of Symbolic Logic 24 (1): 58-58. 1959.
-
30Review: A. A. Markov, Insolubility of the Problem of Homeomorphy (review)Journal of Symbolic Logic 27 (1): 99-99. 1962.
Pittsburgh, Pennsylvania, United States of America
Areas of Interest
Logic and Philosophy of Logic |
Philosophy of Mathematics |