Categories

Keywords

Reprint years

DOI

10.2307/2274497

Other Versions

No versions found

Links

PhilArchive

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

Hans-Dieter Donder and Peter Koepke. On the consistency strength of ‘accessible’ Jonsson cardinals and of the weak Chang conjecture. Annals of pure and applied logic, vol. 25 , pp. 233–261. - Peter Koepke. Some applications of short core models. Annals of pure and applied logic, vol. 37 , pp. 179–204.Sy D. Friedman - 1989 - Journal of Symbolic Logic 54 (4):1496-1497.
Dodd A. and Jensen R.. The core model. Annals of mathematical logic, vol. 20 , pp. 43–75.Dodd Tony and Jensen Ronald. The covering lemma for K. Annals of mathematical logic, vol. 22 , pp. 1–30.Dodd A. J. and Jensen R. B.. The covering lemma for L[U]. Annals of mathematical logic, pp. 127–135.Donder D., Jensen R. B. and Koppelberg B. J.. Some applications of the core model. Set theory and model theory, Proceedings of an informal symposium held at Bonn, June 1–3, 1979, edited by Jensen R. B. and Prestel A., Lecture notes in mathematics, vol. 872, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 55–97.Dodd A.. The core model. London Mathematical Society lecture note series, no. 61. Cambridge University Press, Cambridge etc. 1982, xxxviii + 229 pp. [REVIEW]William Mitchell - 1984 - Journal of Symbolic Logic 49 (2):660-662.
Halpern J. D. and Läuchli H.. A partition theorem. Transactions of the American Mathematical Society, vol. 124 , pp. 360–367.Halpern J. D. and Lévy A.. The Boolean prime ideal theorem does not imply the axiom of choice. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 83–134. [REVIEW]David Pincus - 1974 - Journal of Symbolic Logic 39 (1):181-182.
Robert L. Martin and Peter W. Woodruff. On representing ‘true-in-L' in L. Philosophia , vol. 5 no. 3 , pp. 213–217. - Saul Kripke. Outline of a theory of truth. The journal of philosophy, vol. 72 , pp. 690–716. - Anil Gupta. Truth and paradox. Journal of philosophical logic, vol. 11 , pp. 1–60. - Hans G. Herzberger. Notes on naive semantics. Journal of philosophical logic, vol. 11 , pp. 61–102.Geoffrey Hellman - 1985 - Journal of Symbolic Logic 50 (4):1068-1071.
S. S. Goncharov. Autostability and computable families of constructivizations. Algebra and Logic, vol. 14 (1975), no. 6, pp. 392–409. - S. S. Goncharov. The quantity of nonautoequivalent constructivizations. Algebra and Logic, vol. 16 (1977), no. 3, pp. 169–185. - S. S. Goncharov and V. D. Dzgoev. Autostability of models. Algebra and Logic, vol. 19 (1980), no. 1, pp. 28–37. - J. B. Remmel. Recursively categorical linear orderings. Proceedings of the American Mathematical Society, vol. 83 (1981), no. 2, pp. 387–391. - Terrence Millar. Recursive categoricity and persistence. The Journal of Symbolic Logic, vol. 51 (1986), no. 2, pp. 430–434. - Peter Cholak, Segey Goncharov, Bakhadyr Khoussainov and Richard A. Shore. Computably categorical structures and expansions by constants. The Journal of Symbolic Logic, vol. 64 (1999), no. 1, pp. 13–137. - Peter Cholak, Richard A. Shore and Reed Solomon. A computably stable structure with no Scott family of finitary formulas. Archive for Mathematical.Daniel Turetsky - 2012 - Bulletin of Symbolic Logic 18 (1):131-134.
Wells Rulon. A measure of subjective information. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence, Rhode Island, 1961, pp. 237–244.Sable J. D., Wells R.. Comments. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence, Rhode Island, 1961, pp. 267–268. [REVIEW]Rulon Wells - 1965 - Journal of Symbolic Logic 30 (2):244-245.
A. Louveau. Some results in the Wadge hierarchy of Borel sets. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin etc. 1983, pp. 28–55. - A. Louveau and J. Saint Raymond. Borel classes and closed games: Wadge-type and Hurewicz-type results. Transactions of the American Mathematical Society, vol. 304 , pp. 431–467. - Alain Louveau and Jean Saint Raymond. The strength of Borel Wadge determinacy. Cabal seminar 81–85, Proceedings, Caltech-UCLA Logic Seminar 1981–85, edited by A. S. Kechris, D. A. Martin, and J. R. Steel, Lecture notes in mathematics, vol. 1333, Springer-Verlag, Berlin etc. 1988, pp. 1–30. [REVIEW]Robert S. Lubarsky - 1992 - Journal of Symbolic Logic 57 (1):264-266.
Reichenbach Hans. Note on probability implication. Bulletin of the American Mathematical Society, vol. 47 , pp. 265–267. [REVIEW]Ernest Nagel - 1941 - Journal of Symbolic Logic 6 (2):66-66.
Heinz-Dieter Ebbinghaus. Zermelo: definiteness and the universe of definable sets. History and philosophy of logic, vol. 24 , pp. 197–219. - Heinz-Dieter Ebbinghaus. Zermelo in the mirror of the Baer correspondence, 1930-1931. Historia mathematica, vol. 31 , pp. 76–86.R. Gregory Taylor - 2004 - Bulletin of Symbolic Logic 10 (4):590-592.
J. H. Schmerl, Subsets coded in elementary end extensions. Archive for Mathematical Logic, vol. 53 (2014), no. 5–6, pp. 571–581. - J. H. Schmerl, Minimal elementary end extensions. Archive for Mathematical Logic, vol. 56 (2017), no. 5–6, pp. 541–553. [REVIEW]Athar Abdul-Quader - 2019 - Bulletin of Symbolic Logic 25 (1):125-126.

Analytics

Added to PP
2013-11-03

Downloads
198 (#203,535)

6 months
61 (#150,715)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Realism, nonstandard set theory, and large cardinals.Karel Hrbacek - 2001 - Annals of Pure and Applied Logic 109 (1-2):15-48.
Decomposable Ultrafilters and Possible Cofinalities.Paolo Lipparini - 2008 - Notre Dame Journal of Formal Logic 49 (3):307-312.
More on regular and decomposable ultrafilters in ZFC.Paolo Lipparini - 2010 - Mathematical Logic Quarterly 56 (4):340-374.
Depth of Boolean Algebras.Shimon Garti & Saharon Shelah - 2011 - Notre Dame Journal of Formal Logic 52 (3):307-314.

Add more citations

References found in this work

No references found.

Add more references