From the weak to the strong existence property

Annals of Pure and Applied Logic 163 (10):1400-1418 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2012.01.012

Other Versions

No versions found

Links

PhilArchive



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

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

Griffor, ER, see Rathjen, M.L. Harrington, R. I. Soare, J. F. Knight & M. Lerman - 1998 - Annals of Pure and Applied Logic 94:297.
GlaR, T., Rathjen, M. and Schliiter, A., On the proof-theoretic.G. Japaridze, R. Jin, S. Shelah, M. Otto, E. Palmgren & M. C. Stanley - 1997 - Annals of Pure and Applied Logic 85 (1):283.
Weak and strong versions of Effective Transfinite Recursion.Patrick Uftring - 2023 - Annals of Pure and Applied Logic 174 (4):103232.
Atomic polymorphism and the existence property.Gilda Ferreira - 2018 - Annals of Pure and Applied Logic 169 (12):1303-1316.
Constructive strong regularity and the extension property of a compactification.Giovanni Curi - 2023 - Annals of Pure and Applied Logic 174 (1):103154.
Set existence property for intuitionistic theories with dependent choice.Harvey M. Friedman & Andrej Ščedrov - 1983 - Annals of Pure and Applied Logic 25 (2):129-140.
Determinacy from strong compactness of ω1.Nam Trang & Trevor M. Wilson - 2021 - Annals of Pure and Applied Logic 172 (6):102944.
More on the weak diamond.Saharon Shelah - 1985 - Annals of Pure and Applied Logic 28 (3):315-318.
Characterizing weak compactness.Lee J. Stanley - 1984 - Annals of Pure and Applied Logic 26 (1):89-99.
A premouse inheriting strong cardinals from V.Farmer Schlutzenberg - 2020 - Annals of Pure and Applied Logic 171 (9):102826.

Analytics

Added to PP
2013-10-27

Downloads
113 (#189,519)

6 months
23 (#131,915)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Michael Rathjen
University of Leeds

Citations of this work

Constructing the constructible universe constructively.Michael Rathjen - 2024 - Annals of Pure and Applied Logic 175 (3):103392.
Set theory: Constructive and intuitionistic ZF.Laura Crosilla - 2010 - Stanford Encyclopedia of Philosophy.

View all 8 citations / Add more citations

References found in this work

Constructive set theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.
On the interpretation of intuitionistic number theory.Stephen Cole Kleene - 1945 - Journal of Symbolic Logic 10 (4):109-124.
Formal systems for some branches of intuitionistic analysis.G. Kreisel - 1970 - Annals of Mathematical Logic 1 (3):229.
Countable models of set theories.Harvey Friedman - 1973 - In A. R. D. Mathias & Hartley Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York,: Springer Verlag. pp. 539--573.

View all 21 references / Add more references