Discussion:Cardinal inaccessible
Dernier commentaire : il y a 14 ans par Proz dans le sujet Relecture
Autres discussions [liste]
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Cet article est indexé par le projet Mathématiques.
Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.
| Avancement | Importance | pour le projet | |
|---|---|---|---|
| B | Faible |  | Mathématiques (discussion • critères • liste • stats • hist. • comité • stats vues) |
Cet article ne comporte pas de liste de tâches suggérées. Vous pouvez saisir une liste de tâches à accomplir (par exemple sous forme d'une liste à puces), puis sauvegarder. Vous pouvez aussi consulter la page d'aide.
Tout ou partie de cet article est issu de la traduction de l'article sous licence CC-BY-SA « (en) Inaccessible cardinal » dans sa version du 16 décembre 2009.
Consultez l'historique de la page originale pour connaître la liste de ses auteurs.
Relecture modifier
- J'ai repris la partie sur la cohérence et les fortement inaccessibles, reste au moins à ajouter des sources, je les mets déjà en biblio.
- Reste à reprendre celle sur les faiblement inaccessibles (il faut signaler les constructibles, et remarquer que c'est nettement plus difficile)
- Axiome des univers de Grothendieck : sans la propriété qui apparait en note, c'est démontrable dans ZFC. Je ne pense pas qu'il y ait de nom standard pour cette théorie (qui n'est pas très courante, ni dans Kanamori, Jech, Krivine etc. Drake je ne sais pas).
- Caractérisation à l'aide de la théorie des modèles : à éclaircir. Où trouve t-on la notation ∞ pour la classe des ordinaux ? Le principe de réflexion (je n'ai jamais vu propriété de réflexivité) pourrait être exprimé plus simplement (en tout cas la forme faible). Proz (d) 19 janvier 2010 à 02:55 (CET)