Research Article
Does Mathematics Need New Axioms?
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 401-446
-
- Article
- Export citation
Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 1-44
-
- Article
- Export citation
Zermelo and the Skolem Paradox
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 145-161
-
- Article
- Export citation
Machines, Logic and Quantum Physics
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 265-283
-
- Article
- Export citation
Towards a Re-Evaluation of Julius König's Contribution to Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 45-66
-
- Article
- Export citation
Formalization in Philosophy
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 162-175
-
- Article
- Export citation
Brouwer and Fraenkel on Intuitionism
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 284-310
-
- Article
- Export citation
An Interpolation Theorem
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 447-462
-
- Article
- Export citation
Reviews
Sam Buss. Preface. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, p. v.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 463-464
-
- Article
- Export citation
Research Article
Counterexamples of the 0-1 Law for Fragments of Existential Second-Order Logic: an Overview
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 67-82
-
- Article
- Export citation
Proper Forcing and Remarkable Cardinals
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 176-184
-
- Article
- Export citation
Combinatorics with Definable Sets: Euler Characteristics and Grothendieck Rings
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 311-330
-
- Article
- Export citation
Definable Encodings in the Computably Enumerable Sets
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 185-196
-
- Article
- Export citation
Applications of Nonstandard Analysis in Additive Number Theory
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 331-341
-
- Article
- Export citation
Reviews
Samuel R. Buss. An introduction to proof theory. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, p. v., pp. 1–78.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 464-465
-
- Article
- Export citation
Saharon Shelah. Proper and improper forcing. Second edition of JSL L 237. Perspectives in mathematical logic. Springer, Berlin, Heidelberg, New York, etc., 1998, xlvii + 1020 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 83-86
-
- Article
- Export citation
Research Article
Degree Spectra of Relations on Computable Structures
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 197-212
-
- Article
- Export citation
Reviews
Samuel R. Buss. First-order proof theory of arithmetic. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 79–147.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 465-466
-
- Article
- Export citation
Petr Hájek. Metamathematics of fuzzy logic. Trends in logic, vol. 4. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1998, viii + 297 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 342-346
-
- Article
- Export citation
Arthur W. Apter. On the least strongly compact cardinal. Israel journal of mathematics, vol. 35 (1980), pp. 225–233. - Arthur W. Apter. Measurability and degrees of strong compactness. The journal of symbolic logic, vol. 46 (1981), pp. 249–254. - Arthur W. Apter. A note on strong compactness and supercompactness. Bulletin of the London Mathematical Society, vol. 23 (1991), pp. 113–115. - Arthur W. Apter. On the first n strongly compact cardinals. Proceedings of the American Mathematical Society, vol. 123 (1995), pp. 2229–2235. - Arthur W. Apter and Saharon Shelah. On the strong equality between supercompactness and strong compactness.. Transactions of the American Mathematical Society, vol. 349 (1997), pp. 103–128. - Arthur W. Apter and Saharon Shelah. Menas' result is best possible. Ibid., pp. 2007–2034. - Arthur W. Apter. More on the least strongly compact cardinal. Mathematical logic quarterly, vol. 43 (1997), pp. 427–430. - Arthur W. Apter. Laver indestructibility and the class of compact cardinals. The journal of symbolic logic, vol. 63 (1998), pp. 149–157. - Arthur W. Apter. Patterns of compact cardinals. Annals of pure and applied logic, vol. 89 (1997), pp. 101–115. - Arthur W. Apter and Moti Gitik. The least measurable can be strongly compact and indestructible. The journal of symbolic logic, vol. 63 (1998), pp. 1404–1412.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 86-89
-
- Article
- Export citation