Asymptotic Quasi-completeness and ZFC
From MaRDI portal
Publication:3305340
DOI10.1007/978-3-319-98797-2_8zbMath1439.03085OpenAlexW2896789611MaRDI QIDQ3305340
Publication date: 6 August 2020
Published in: Trends in Logic (Search for Journal in Brave)
Full work available at URL: https://halshs.archives-ouvertes.fr/halshs-01758982/file/asymptoticFinalHAL.pdf
Philosophical and critical aspects of logic and foundations (03A05) Axiomatics of classical set theory and its fragments (03E30)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Comparing Peano arithmetic, Basic Law V, and Hume's Principle
- On universal graphs without instances of CH
- Universal graphs without instances of CH: Revisited
- Provability, truth, and modal logic
- All uncountable cardinals can be singular
- Model theory.
- Inequalities for cardinal powers
- On the singular cardinals problem. I
- A compactness theorem for singular cardinals, free algebras, Whitehead problem and transversals
- On the existence of universal models
- Die Widerspruchsfreiheit der allgemeinen Mengenlehre
- The epistemic significance of numerals
- Universal graphs at the successor of a singular cardinal
- Singular Cardinals
- RELATIVE CATEGORICITY AND ABSTRACTION PRINCIPLES
- Universal structures in power ℵ1
- Nonexistence of universal orders in many cardinals
- Set Theory
- Logic Without Borders
- Computing with Numbers and Other Non-syntactic Things: De re Knowledge of Abstract Objects†
- A framework for forcing constructions at successors of singular cardinals
- UNIVERSAL INFINITE CLIQUE-OMITTING GRAPHS
- Universal graphs and universal functions
- THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
- Powers of regular cardinals
- Powers of Singular Cardinals and a Strong Form of The Negation of The Generalized Continuum Hypothesis
- Consistency of the Continuum Hypothesis. (AM-3)
This page was built for publication: Asymptotic Quasi-completeness and ZFC