Asymptotic Quasi-completeness and ZFC

DOI10.1007/978-3-319-98797-2_8zbMath1439.03085OpenAlexW2896789611MaRDI QIDQ3305340

Mirna Dzamonja, Marco Panza

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

Mathematics Subject Classification ID

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 ℵ₁
• 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