Buchumschlag

Some Unpublished Letters by Gödel and von Neumann in the Fraenkel Archive

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Mancosu, Paolo, Zach, Richard
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic History and Overview 03-03 (Primary) 03E30, 03F40 (Secondary)
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Hilbert's Program and Infinity
von: Zach, Richard
Veröffentlicht: (2026)

A formula for any real number, maybe
von: Hanson, James E., et al.
Veröffentlicht: (2026)

The history of three wrong definitions
von: Boas, Harold P.
Veröffentlicht: (2026)

Any function I can actually write down is measurable, right?
von: Hanson, James E.
Veröffentlicht: (2025)

Mathematical Proof
von: Bauschke, Heinz H.
Veröffentlicht: (2026)

Forcing as a Local Method of Accessing Small Extensions
von: Lau, Desmond
Veröffentlicht: (2024)

Axiom Beta Implies Elementary Transfinite Recursion
von: Frittaion, Emanuele, et al.
Veröffentlicht: (2026)

On Godel's treatment of the undecidable in 1931
von: Cattabriga, Paola
Veröffentlicht: (2024)

Some notes on plump ordinals
von: Wang, Shuwei
Veröffentlicht: (2026)

Does $\mathsf{DC}$ imply $\mathsf{AC}_ω$, uniformly?
von: Andretta, Alessandro, et al.
Veröffentlicht: (2023)

Intermediate models and Kinna--Wagner Principles
von: Karagila, Asaf, et al.
Veröffentlicht: (2024)

Towards a theory of symmetric extensions
von: Karagila, Asaf, et al.
Veröffentlicht: (2026)

Upwards homogeneity in iterated symmetric extensions
von: Ryan-Smith, Calliope, et al.
Veröffentlicht: (2024)

Broad Infinity and Generation Principles
von: Levy, Paul Blain
Veröffentlicht: (2021)

Eccentricity, extendable choice and descending distributive forcing
von: Ryan-Smith, Calliope
Veröffentlicht: (2025)

Combinatorial Properties Related to the Higher Baumgartner's Axiom
von: Krueger, John
Veröffentlicht: (2026)

Continuum Many Different Things: Localisation, Anti-Localisation and Yorioka Ideals
von: Cardona, Miguel Antonio, et al.
Veröffentlicht: (2021)

On the Existence and Disjunction Properties in Structural Set Theory
von: Saving, Mark
Veröffentlicht: (2023)

Samgamagrāma Mādhava: An Updated Biography
von: Krishnachandran, V. N.
Veröffentlicht: (2024)

More on Halfway New Cardinal Characteristics
von: Farkas, Barnabás, et al.
Veröffentlicht: (2023)

Marginalia to a Theorem of Asperó and Schindler
von: Kasum, Obrad, et al.
Veröffentlicht: (2023)

Universality properties of forcing
von: Parente, Francesco, et al.
Veröffentlicht: (2023)

Clarifying ordinals
von: Schweber, Noah
Veröffentlicht: (2024)

Satisfaction classes with approximate disjunctive correctness
von: Enayat, Ali
Veröffentlicht: (2023)

Reduced Set Theory
von: Kunik, Matthias
Veröffentlicht: (2023)

Notes on the equiconsistency of ZFC without the Power Set axiom and second order PA
von: Kanovei, Vladimir, et al.
Veröffentlicht: (2025)

On the significance of parameters and the projective level in the Choice and Comprehension axioms
von: Kanovei, Vladimir, et al.
Veröffentlicht: (2024)

Antichain of ordinals in intuitionistic set theory
von: Wang, Shuwei
Veröffentlicht: (2025)

The Weihrauch lattice at the level of $\boldsymbolΠ_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem
von: Cipriani, Vittorio, et al.
Veröffentlicht: (2022)

Hindman's Theorem in the hierarchy of Choice Principles
von: Fernández-Bretón, David J.
Veröffentlicht: (2022)

On double-membership graphs of models of Anti-Foundation
von: Adam-Day, Bea, et al.
Veröffentlicht: (2019)

Aristotle's Second-Order Logic and Natural Deduction
von: Protin, Clarence
Veröffentlicht: (2023)

Modern Definition and Ancient Definition
von: Protin, Clarence
Veröffentlicht: (2022)

Secrets and Quantifiers
von: Bajnok, Bela, et al.
Veröffentlicht: (2024)

Gödel coding on fibrations and geminal categories
von: Ikeda, Yuto
Veröffentlicht: (2026)

The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle
von: Sun, Mengzhou
Veröffentlicht: (2024)

Meaning as Use, Application, Employment, Purpose, Usefulness
von: de Queiroz, Ruy J. G. B.
Veröffentlicht: (2025)

From the Notebooks to the Investigations and Beyond
von: de Queiroz, Ruy J. G. B.
Veröffentlicht: (2025)

An equiconsistency proof for $\mathrm{CZF} + V = L$
von: Wang, Shuwei
Veröffentlicht: (2026)

On Separating Wholeness Axioms
von: Jeon, Hanul
Veröffentlicht: (2023)