Countable models of set theories-Reference-Cited by-同舟云学术

Countable models of set theories

Published:1973 Issue: Volume: Page:539-573
ISSN:0075-8434
Container-title:Cambridge Summer School in Mathematical Logic
language:
Short-container-title:

Author:

Friedman Harvey

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0066789

Reference3 articles.

1. J. Barwise, Infinitary Logic and Admissible Sets, JSL, 34 (1969), 226–252.

2. R. MacDowell and E. Specker, Modelle der Arithmetik, Infinistic Methods, Proc. Sympos. on the Foundations of Math. at Warsaw, 1959, Oxford, 1961, p. 257–263.

3. D. Scott, Algebras of Sets Binumerable in Complete Extensions of Arithmetic, Proc. Sympos. Pure Math., Vol. 5, pp. 117–121, AMS, 1962.

Cited by 62 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Every Countable Model of Arithmetic or Set Theory has a Pointwise-Definable End Extension;KRITERION – Journal of Philosophy;2024-04-16

2. Modern perspectives in Proof Theory;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10

3. Ordinal analysis and the set existence property for intuitionistic set theories;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10

4. Weak set theories in foundational debates;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10

5. SELF-EMBEDDINGS OF MODELS OF ARITHMETIC; FIXED POINTS, SMALL SUBMODELS, AND EXTENDABILITY;The Journal of Symbolic Logic;2022-12-22