Minimum models of analysis

Journal of Symbolic Logic 37 (1):48-54 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272544

Other Versions

reprint Shilleto, J. R. (1974) "Minimum Models of Analysis". Journal of Symbolic Logic 39(3):601-601

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,459

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: J. R. Shilleto, Minimum Models of Analysis. [REVIEW]Wiktor Marek - 1974 - Journal of Symbolic Logic 39 (3):601-601.
J. R. Shilleto. Minimum models of analysis. The journal of symbolic logic, vol. 37 , pp. 48–54.Wiktor Marek - 1974 - Journal of Symbolic Logic 39 (3):601.
J. R. Shoenfield. Degrees of models. The journal of symbolic logic, vol. 25 no. 3 , pp. 233–237.Solomon Feferman - 1968 - Journal of Symbolic Logic 33 (4):623-623.
Łos J.. On the extending of models . Fundamenta mathematicae, vol. 42 , pp. 38–54.Łos J. and Suszko R.. On the extending of models . Common extensions. Fundamenta mathematicae, vol. 42 , pp. 343–347.Słomiński J.. On the extending of models . Extensions in equationally definable classes of algebras. Fundamenta mathematicae, vol. 43 , pp. 69–76.Łos J. and Suszko R.. On the extending of models . Infinite sums of models. Fundamenta mathematicae, vol. 44 , pp. 52–60. [REVIEW]H. Jerome Keisler - 1962 - Journal of Symbolic Logic 27 (1):93-95.
Saul A. Kripke. Semantical analysis of modal logic II. Non-normal modal propositional calculi. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 206–220. - R. Routley and H. Montgomery. The inadequacy of Kripke's semantical analysis of D2 and D3. The journal of symbolic logic, vol. 33 , p. 568. [REVIEW]David Makinson - 1970 - Journal of Symbolic Logic 35 (1):135.
Moschovakis J. R.. Disjunction and existence in formalized intuitionistic analysis. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by Crossley John N., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 309–331. [REVIEW]W. A. Howard - 1970 - Journal of Symbolic Logic 35 (4):587-588.
Review: J. C. E. Dekker, The Minimum of Two Regressive Isols. [REVIEW]Erik Ellentuck - 1967 - Journal of Symbolic Logic 32 (4):527-527.
Review: R. Harrop, H. Arnold Schmidt, K. Schutte, H.-J. Thiele, Some Forms of Models of Propositional Calculi; Ronald Harrop, On the Equivalence for Non-Derivability Testing of Finite Smiley Models and Finite Modified Smiley Models. [REVIEW]Dolph Ulrich - 1975 - Journal of Symbolic Logic 40 (2):251-251.

Analytics

Added to PP
2009-01-28

Downloads
235 (#111,878)

6 months
13 (#272,256)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

An incompleteness theorem for β n -models.Carl Mummert & Stephen G. Simpson - 2004 - Journal of Symbolic Logic 69 (2):612-616.
The ramified analytical hierarchy using extended logics.Philip D. Welch - 2018 - Bulletin of Symbolic Logic 24 (3):306-318.
Second order arithmetic and related topics.K. R. Apt & W. Marek - 1974 - Annals of Mathematical Logic 6 (3):177.

Add more citations

References found in this work

Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.
The problem of predicativity.Joseph R. Shoenfield - 1961 - In Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Essays on the Foundations of Mathematics. Jerusalem,: Magnes Press. pp. 132--139.

Add more references