-
7Review: A. Mostowski, On a Generalization of Quantifiers (review)Journal of Symbolic Logic 23 (2): 217-217. 1958.
-
9Szmielew W.. Elementary properties of Abelian groups. Fundamenta mathematicae, vol. 41 no. 2 , pp. 203–271Journal of Symbolic Logic 24 (1): 59-59. 1959.
-
6Review: Gideon Schwarz, A Note on Transfinite Iteration (review)Journal of Symbolic Logic 22 (3): 303-303. 1957.
-
36Completeness Proofs for the Intuitionistic Sentential CalculusJournal of Symbolic Logic 25 (4): 351-351. 1960.
-
102Reconsidering ordered pairsBulletin of Symbolic Logic 14 (3): 379-397. 2008.The well known Wiener-Kuratowski explicit definition of the ordered pair, which sets ⟨x, y⟩ = {{x}, {x, y}}, works well in many set theories but fails for those with classes which cannot be members of singletons. With the aid of the Axiom of Foundation, we propose a recursive definition of ordered pair which addresses this shortcoming and also naturally generalizes to ordered tuples of greater lenght. There are many advantages to the new definition, for it allows for uniform definitions working …Read more
-
20Review: Elliott Mendelson, Some Proofs of Independence in Axiomatic Set Theory (review)Journal of Symbolic Logic 23 (1): 42-44. 1958.
-
3Mostowski A.. On a generalization of quantifiers. Fundamenta mathematicae, vol. 44 , pp. 12–36Journal of Symbolic Logic 23 (2): 217-217. 1958.
-
18Rieger Ladislav. A contribution to Gödel's axiomatic set-theory, I. English, with Russian summary. Čéhoslovačkij matématičéskij žurnal , vol. 7 , pp. 323–357 (review)Journal of Symbolic Logic 23 (2): 216-217. 1958.
-
59This work is a step toward the development of a logic for types and computation that includes not only the usual spaces of mathematics and constructions, but also spaces from logic and domain theory. Using realizability, we investigate a configuration of three toposes that we regard as describing a notion of relative computability. Attention is focussed on a certain local map of toposes, which we first study axiomatically, and then by deriving a modal calculus as its internal logic. The resultin…Read more
-
8Review: Robert L. Vaught, Remarks on Universal Classes of Relational Systems (review)Journal of Symbolic Logic 24 (1): 58-59. 1959.
-
12E. W. Beth. Completeness results for formal systems. Proceedings of the International Congress of Mathematicians, 14–21 August 1958, Cambridge at the University Press1960, pp. 281–288 (review)Journal of Symbolic Logic 27 (1): 110-110. 1962.
-
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.
-
31Review: 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 |