Shepherdson J. C.. Inner models for set theory

J. Barkley Rosser

doi:10.2307/2266588

Shepherdson J. C.. Inner models for set theory [Book Review]

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

Abstract	This article has no associated abstract. (fix it)
Keywords	No keywords specified (fix it)
Categories	Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic (categorize this paper)
DOI	10.2307/2266588
Options	Edit this record Mark as duplicate Export citation Find it on Scholar Request removal from index Revision history

Download options

PhilArchive copy

Upload a copy of this paper Check publisher's policy Papers currently archived: 56,060

External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)

Through your library

Sign in / register and customize your OpenURL resolver..
Configure custom resolver

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Review: J. C. Shepherdson, Inner Models for Set Theory. [REVIEW]J. Barkley Rosser - 1953 - Journal of Symbolic Logic 18 (4):342-343.

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.

Kruse A. H.. Grothendieck Universes and the Super-Complete Models of Shepherdson. Composite Mathematica, Vol. 17 , Pp. 96–101. [REVIEW]J. C. Shepherdson - 1972 - Journal of Symbolic Logic 37 (3):613-613.

Inner Models for Set Theory.J. C. Shepherdson - 1953 - Journal of Symbolic Logic 18 (4):342-343.

Inner Models for Set Theory – Part III.J. C. Shepherdson - 1953 - Journal of Symbolic Logic 18 (2):145-167.

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.

Acceptable Numerations of Morphisms and Myhill‐Shepherdson Property.Akira Kanda - 1995 - Mathematical Logic Quarterly 41 (1):39-48.

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.

Fröhlich A. And Shepherdson J. C.. On the Factorisation of Polynomials in a Finite Number of Steps. Mathematische Zeitschrift, Vol. 62, No. 4 , Pp. 331–334.Fröhlich A. And Shepherdson J. C.. Effective Procedures in Field Theory. Philosophical Transactions of the Royal Society of London, Series A, Vol. 248 , Pp. 407–432. [REVIEW]Michael O. Rabin - 1959 - Journal of Symbolic Logic 24 (2):169-170.

Grothendieck Universes and the Super-Complete Models of Shepherdson.[author unknown] - 1972 - Journal of Symbolic Logic 37 (3):613-613.

A Note On Hájek, Paris And Shepherdson's Theorem.Shunsuke Yatabe - 2005 - Logic Journal of the IGPL 13 (2):261-266.

Simplified Independence Proofs. Boolean Valued Models of Set Theory.J. Barkley Rosser - 1974 - Journal of Symbolic Logic 39 (2):328-329.

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.

Analytics

Added to PP index
2016-06-30

Total views
3 ( #1,279,668 of 2,403,713 )

Recent downloads (6 months)
3 ( #255,955 of 2,403,713 )

How can I increase my downloads?

Downloads

Sorry, there are not enough data points to plot this chart.