Gaps in the contructable universe

&
Annals of Mathematical Logic 6 (3):359-394 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(74)90005-9

Other Versions

No versions found

Links

PhilArchive



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

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

Downey, R., Gasarch, W. and Moses, M., The structure.S. D. Friedman, W. G. Handley, S. S. Wainer, A. Joyal, I. Moerdijk, L. Newelski, F. van Engelen & J. van Oosten - 1994 - Annals of Pure and Applied Logic 70 (1):287.
M. Gitik Blowing up power of a singular cardinalYwider gaps 1 D. Pitteloud Algebraic properties of rings of generalized power series 39.I. Neeman, D. M. Evans, M. Menni, R. D. Schindler, K. Ho & F. Stephan - 2002 - Annals of Pure and Applied Logic 116 (1):3-15.
Ardeshir, M., Ruitenburg, W. and Salehi, S., Intuitionistic.C. Areces, P. Blackburn, M. Marx, S. Cook, A. Kolokolova, T. Coquand, G. Sambin, J. Smith, S. Valentini & P. Dybjer - 2003 - Annals of Pure and Applied Logic 124:301.
David W. Kueker. Generalized interpolation and definability. Annals of mathematical logic, vol. 1 no. 4 , pp. 423–468.E. G. K. Lopez-Escobar - 1974 - Journal of Symbolic Logic 39 (2):337-338.
Robert M. Solovay, William N. Reinhardt, and Akihiro Kanamori. Strong axioms of infinity and elementary embeddings. Annals of mathematical logic, vol. 13 , pp. 73–116. - Menachem Magidor. HOW large is the first strongly compact cardinal? or A study on identity crises. Annals of mathematical logic, vol. 10 , pp. 33–57. [REVIEW]Carlos Augusto Di Prisco - 1986 - Journal of Symbolic Logic 51 (4):1066-1068.
The Finite Frame Property of Some Extensions of the Pure Logic of Necessitation.Taishi Kurahashi & Yuta Sato - forthcoming - Studia Logica:1-27.
Andrew M. Pitts. Interpolation and conceptual completeness for pretoposes via category theory. Mathematical logic and theoretical computer science, edited by Kueker David W., Lopez-Escobar Edgar G. K. and Smith Carl H., Lecture notes in pure and applied mathematics, vol. 106, Marcel Dekker, New York and Basel1987, pp. 301–327. - Andrew M. Pitts. Conceptual completeness for first-order intuitionistic logic: an application of categorical logic. Annals of pure and applied logic, vol. 41 , pp. 33–81. [REVIEW]Marek Zawadowski - 1995 - Journal of Symbolic Logic 60 (2):692-694.
On interstices of countable arithmetically saturated models of Peano arithmetic.Nicholas Bamber & Henryk Kotlarski - 1997 - Mathematical Logic Quarterly 43 (4):525-540.
W trosce o kulturę logiczną w badaniach filozoficznych i teologicznych.Krzysztof Śleziński - 2019 - Philosophical Problems in Science 66:326-330.
Interstitial and pseudo gaps in models of Peano Arithmetic.Ermek S. Nurkhaidarov - 2010 - Mathematical Logic Quarterly 56 (2):198-204.

Analytics

Added to PP
2014-01-17

Downloads
46 (#482,869)

6 months
13 (#264,153)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Inadmissibility, tame R.E. sets and the admissible collapse.Wolfgang Maass - 1978 - Annals of Mathematical Logic 13 (2):149-170.
Uncountable master codes and the jump hierarchy.Robert S. Lubarsky - 1987 - Journal of Symbolic Logic 52 (4):952-958.
Definability in models of set theory.David Guaspari - 1980 - Journal of Symbolic Logic 45 (1):9-19.
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

A survey of proof theory.G. Kreisel - 1968 - Journal of Symbolic Logic 33 (3):321-388.
The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
The next admissible set.K. J. Barwise, R. O. Gandy & Y. N. Moschovakis - 1971 - Journal of Symbolic Logic 36 (1):108-120.
A note on constructible sets of integers.Hilary Putnam - 1963 - Notre Dame Journal of Formal Logic 4 (4):270-273.

View all 9 references / Add more references