Constructing the constructible universe constructively

Annals of Pure and Applied Logic 175 (3):103392 (2024)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2023.103392

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,612

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

omega ¹-Constructible universe and measurable cardinals.Claude Sureson - 1986 - Annals of Pure and Applied Logic 30 (3):293.
Recognizable sets and Woodin cardinals: computation beyond the constructible universe.Merlin Carl, Philipp Schlicht & Philip Welch - 2018 - Annals of Pure and Applied Logic 169 (4):312-332.
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.
Lyndon interpolation theorem of instantial neighborhood logic – constructively via a sequent calculus.Junhua Yu - 2020 - Annals of Pure and Applied Logic 171 (1):102721.
A Π12 singleton incompatible with 0#.M. C. Stanley - 1994 - Annals of Pure and Applied Logic 66 (1):27-88.
Gaps in the constructible universe.W. Marek - 1974 - Annals of Mathematical Logic 6 (3):359.
Leloup, G., Rings of monoids elementarily equivalent to polynomial rings Miller, C., Expansions of the real field with power functions Ozawa, M., Forcing in nonstandard analysis Rathjen, M., Proof theory of reflection. [REVIEW]L. D. Beklemishev, O. V. Belegradek, K. J. Davey & J. L. Krivine - 1994 - Annals of Pure and Applied Logic 68:343.
Organic and tight.J. Cummings, M. Foreman & E. Schimmerling - 2009 - Annals of Pure and Applied Logic 160 (1):22-32.
Kripke models for classical logic.Danko Ilik, Gyesik Lee & Hugo Herbelin - 2010 - Annals of Pure and Applied Logic 161 (11):1367-1378.

Analytics

Added to PP
2023-12-15

Downloads
28 (#558,407)

6 months
15 (#234,774)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Michael Rathjen
University of Leeds

Citations of this work

Set theory: Constructive and intuitionistic ZF.Laura Crosilla - 2010 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

Constructibility.Keith J. Devlin - 1987 - Journal of Symbolic Logic 52 (3):864-867.
Set Theory.Thomas Jech - 1999 - Studia Logica 63 (2):300-300.
The strength of Mac Lane set theory.A. R. D. Mathias - 2001 - Annals of Pure and Applied Logic 110 (1-3):107-234.
From the weak to the strong existence property.Michael Rathjen - 2012 - Annals of Pure and Applied Logic 163 (10):1400-1418.

View all 8 references / Add more references