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

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

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.
Models for short sequences of measures in the cofinality-ω constructible model.Ur Ya'ar - 2026 - Annals of Pure and Applied Logic 177 (9):103777.
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.
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.
Preserving and constructing multiple gaps.Osvaldo Guzmán & Francisco Santiago Nieto-de la Rosa - 2026 - Annals of Pure and Applied Logic 177 (5):103721.
Constructing models of small ordered theories with maximal countable spectrum.B. Baizhanov & T. Zambarnaya - 2026 - Annals of Pure and Applied Logic 177 (2):103659.

Analytics

Added to PP
2023-12-15

Downloads
85 (#653,050)

6 months
10 (#1,167,075)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Photo of Michael Rathjen
Michael Rathjen
University of Leeds

Citations of this work

Very Large Set Axioms Over Constructive Set Theories.Hanul Jeon & Richard Matthews - 2024 - Bulletin of Symbolic Logic 30 (4):455-535.
Set theory: Constructive and intuitionistic ZF.Laura Crosilla - 2010 - Stanford Encyclopedia of Philosophy.
Antichain of Ordinals in Intuitionistic Set Theory.Shuwei Wang - forthcoming - Journal of Symbolic Logic:1-9.

Add more citations

References found in this work

Constructibility.Keith J. Devlin - 1987 - Journal of Symbolic Logic 52 (3):864-867.
The strength of Mac Lane set theory.A. R. D. Mathias - 2001 - Annals of Pure and Applied Logic 110 (1-3):107-234.
Set Theory.Thomas Jech - 1999 - Studia Logica 63 (2):300-300.
From the weak to the strong existence property.Michael Rathjen - 2012 - Annals of Pure and Applied Logic 163 (10):1400-1418.
Rudimentary Recursion, Gentle Functions and Provident Sets.A. R. D. Mathias & N. J. Bowler - 2015 - Notre Dame Journal of Formal Logic 56 (1):3-60.

View all 8 references / Add more references