Kruse A. H.. Grothendieck universes and the super-complete models of Shepherdson. Composite mathematica, vol. 17 , pp. 96–101 [Book Review]

Journal of Symbolic Logic 37 (3):613-613 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272777

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.
Acceptable Numerations of Morphisms and Myhill‐Shepherdson Property.Akira Kanda - 1995 - Mathematical Logic Quarterly 41 (1):39-48.
The realization of infinitely many universes in cosmology.Rodney D. Holder - 2001 - Religious Studies 37 (3):343-350.
Relativized Grothendieck topoi.Nathanael Leedom Ackerman - 2010 - Annals of Pure and Applied Logic 161 (10):1299-1312.
A characterization theorem for geometric logic.Olivia Caramello - 2011 - Annals of Pure and Applied Logic 162 (4):318-321.
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.
Complete topoi representing models of set theory.Andreas Blass & Andre Scedrov - 1992 - Annals of Pure and Applied Logic 57 (1):1-26.
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.
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.
Shepherdson J. C.. Inner models for set theory. [REVIEW]J. Barkley Rosser - 1953 - Journal of Symbolic Logic 18 (4):342-343.
Review: J. C. Shepherdson, Inner Models for Set Theory. [REVIEW]J. Barkley Rosser - 1953 - Journal of Symbolic Logic 18 (4):342-343.
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.

Analytics

Added to PP
2016-06-30

Downloads
8 (#1,287,956)

6 months
2 (#1,232,442)

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