Asymptotic quasi-completeness and ZFC

Abstract : The axioms ZFC of first order set theory are one of the best and most widely accepted, if not perfect, foundations used in mathematics. Just as the axioms of first order Peano Arithmetic, ZFC axioms form a recursively enumerable list of axioms, and are, then, subject to Gödel's Incompleteness Theorems. Hence, if they are assumed to be consistent, they are necessarily incomplete. This can be witnessed by various concrete statements, including the celebrated Continuum Hypothesis CH. The independence results about the infinite cardinals are so abundant that it often appears that ZFC can basically prove very little about such cardinals. However, we put forward a thesis that ZFC is actually very powerful at some infinite cardinals, but not at all of them. We have to move away from the first few and to look at limits of uncountable cardinals, such as ℵω. Specifically, we work with singular cardinals (which are necessarily limits) and we illustrate that at such cardinals there is a very serious limit to independence and that many statements which are known to be independent on regular cardinals become provable or refutable by ZFC at singulars. In a certain sense, which we explain, the behavior of the set-theoretic universe is asymptotically determined at singular cardinals by the behavior that the universe assumes at the smaller regular cardinals. Foundationally, ZFC provides an asymptotically univocal image of the universe of sets around the singular cardinals. We also give a philosophical view accounting for the relevance of these claims in a platonistic perspective which is different from traditional mathematical platonism.
Type de document :
Chapitre d'ouvrage
Between Consistency and Inconsistency (ed. by W. carnielli and J. Malinowski), In press
Liste complète des métadonnées

Littérature citée [45 références]  Voir  Masquer  Télécharger

https://halshs.archives-ouvertes.fr/halshs-01758982
Contributeur : Marco Panza <>
Soumis le : jeudi 5 avril 2018 - 06:29:17
Dernière modification le : lundi 23 juillet 2018 - 12:45:17

Fichier

asymptoticFinalHAL.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : halshs-01758982, version 1

Citation

Mirna Džamonja, Marco Panza. Asymptotic quasi-completeness and ZFC. Between Consistency and Inconsistency (ed. by W. carnielli and J. Malinowski), In press. 〈halshs-01758982〉

Partager

Métriques

Consultations de la notice

78

Téléchargements de fichiers

65