Review: J. C. Shepherdson, Inner Models for Set Theory [Book Review]

Journal of Symbolic Logic 18 (4):342-343 (1953)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266588

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: A. H. Kruse, Grothendieck Universes and the Super-Complete Models of Shepherdson. [REVIEW]J. C. Shepherdson - 1972 - Journal of Symbolic Logic 37 (3):613-613.
Review: Michael O. Rabin, On Recursively Enumerable and Arithmetic Models of Set Theory. [REVIEW]J. C. Shepherdson - 1963 - Journal of Symbolic Logic 28 (2):167-168.
Review: A. Frohlich, J. C. Shepherdson, On the Factorisation of Polynomials in a Finite Number of Steps; A. Frohlich, J. C. Shepherdson, Effective Procedures in Field Theory. [REVIEW]Michael O. Rabin - 1959 - Journal of Symbolic Logic 24 (2):169-170.
Inner models for set theory—Part I.J. C. Shepherdson - 1951 - Journal of Symbolic Logic 16 (3):161-190.
Inner models for set theory—Part II.J. C. Shepherdson - 1952 - Journal of Symbolic Logic 17 (4):225-237.
Inner models for set theory – Part III.J. C. Shepherdson - 1953 - Journal of Symbolic Logic 18 (2):145-167.
Review: Gaisi Takeuti, Axioms of Infinity of Set Theory. [REVIEW]J. C. Shepherdson - 1962 - Journal of Symbolic Logic 27 (3):354-355.
Review: J. Barkley Rosser, Simplified Independence Proofs. Boolean Valued Models of Set Theory. [REVIEW]Aleksander Rutkowski - 1974 - Journal of Symbolic Logic 39 (2):328-329.
Review: Per Martin-Lof, H. E. Rose, J. C. Shepherdson, An Intuitionistic Theory of Types: Predicative Part. [REVIEW]Wim Veldman - 1984 - Journal of Symbolic Logic 49 (1):311-313.
Review: Azriel Levy, Axiom Schemata of Strong Infinity in Axiomatic Set Theory. [REVIEW]J. C. Shepherdson - 1962 - Journal of Symbolic Logic 27 (1):88-89.
Review: J. C. Shepherdson, A Non-Standard Model for a Free Variable Fragment of Number Theory. [REVIEW]R. L. Goodstein - 1965 - Journal of Symbolic Logic 30 (3):389-390.
Review: J. C. Shepherdson, Yehoshua Bar-Hillel, Machine Configuration and Word Problems of Given Degree of Unsolvability; J. C. Shepherdson, Machine Configuration and Word Problems of Given Degree of Unsolvability. [REVIEW]W. E. Singletary - 1968 - Journal of Symbolic Logic 33 (1):120-121.
Acceptable Numerations of Morphisms and Myhill‐Shepherdson Property.Akira Kanda - 1995 - Mathematical Logic Quarterly 41 (1):39-48.
Modal models for bradwardine's theory of truth.Greg Restall - 2008 - Review of Symbolic Logic 1 (2):225-240.

Analytics

Added to PP
2013-11-22

Downloads
6 (#1,434,892)

6 months
1 (#1,516,429)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references