<foo>
simply produces <foo>in the text).
<URL: http://somewhere.tld/ >
,
and it will be automatically made into a link.
(Do not try any other way or it might count as an attempt to spam.)mailto:
URI,
e.g. mailto:my.email@somewhere.tld
,
if you do not have a genuine Web site).
SM (2016-07-06T12:16:10Z)
Merci beaucoup.
Ruxor (2016-07-06T12:08:58Z)
Une partie d'un ensemble constructible n'est en effet pas toujours (enfin, pas démontrablement) constructible. Un produit cartésien d'ensembles constructibles, en revanche, est bien constructible (chercher « Gödel operations » pour une liste de choses laissant stables les ensembles constructibles). Et de fait, il y a un axiome de choix constructible global aussi fort qu'on peut imaginer : il existe une formule qui démontrablement dans ZF définit un bon ordre sur la classe L des ensembles constructibles, ou une bijection avec les ordinaux si on préfère, et en particulier une formule (totalement explicite) qui démontrablement dans ZF choisit un élément de chaque ensemble constructible non vide. (D'ailleurs, dans mon précédent commentaire, j'aurais dû écrire ZF plutôt que ZFC : ZF+(V=L) et ZFC+(V=L) sont de toute façon la même chose, mais ce qui est intéressant c'est que tout théorème de cette théorie donne un théorème de ZF portant uniquement sur les ensembles constructibles.)
SM (2016-07-06T11:11:19Z)
Ok, merci beaucoup !
J'imagine qu'une partie d'un constructible n'est pas toujours constructible. Quel genre de résultats a-t-on pour les produits ? En fait, je m'interroge sur la possibilité de démontrer une forme d'axiome du choix constructible dans ZF+Construc.
Ruxor (2016-07-06T10:44:25Z)
@SM: Pour ce qui est de la première question, quand quelqu'un poste un commentaire, je le vois apparaître sur la liste des commentaires récents (le lien est en tête de chacun des pages de mon blog, mais moi je vois aussi les commentaires non encore modérés), et c'est à partir de là que je les lis.
Pour ce qui est de la deuxième, tout théorème de ZFC+(V=L) donne automatiquement un théorème de ZFC qui est le même énoncé dans lequel tout quantificateur est limité à L (c'est-à-dire qu'on remplace « pour tout x » par « pour tout x constructible » et « il existe un y » par « il existe un y constructible » partout ; il est aussi utile de retenir que tout ordinal, et que tout élément d'un ensemble constructible, est automatiquement constructible). Par exemple, pour ce qui est de Kurepa, on a le théorème suivant dans ZFC : Il existe un ensemble F constructible de parties de ω₁^L (le ω₁ constructible), qui est en bijection constructible avec le ℵ₂ constructible, et tel que pour chaque α<ω₁^L l'ensemble des X∩α avec X parcourant F soit constructiblement dénombrable. Mais bon, ce n'est pas super parlant (le problème est surtout que si ω₁^L est un vrai ordinal, ce n'est pas forcément le vrai ω₁).
SM (2016-07-06T09:54:00Z)
J'ai deux questions.
D'une part, quand un commentaire apparaît, pop-t-il quelque part chez toi ou dois tu repasser par la section pour constater qu'il y en a un nouveau ? (En gros, la question est "Lis-tu cette question ?")
D'autre part, je me demandais en quelle mesure les énoncés qu'on sait démontrer dans ZFC+Construc pouvaient donner lieu à des énoncés dans ZFC où on ne s'intéresse pas aux ensembles quelconques mais seulement aux ensembles qui s'avèrent constructibles.
Merci beaucoup pour ton post en tout cas : c'était vraiment très intéressant.
psychoslave (2013-04-11T09:41:12Z)
J’ai écrit une petite critique de cet article suite à une discussion sur wikipédia :
https://fr.wikipedia.org/wiki/Projet:Math%C3%A9matiques/Le_Th%C3%A9#Vous_connaissez_l.27univers_constructible_de_G.C3.B6del.C2.A0.28en.29_.3F
Voilà, ça intéressera ou pas…
avs (2013-03-24T13:50:31Z)
David, envisagez vous de publier ce genre de texte dans un journal de maths?
vous bénéficierez d'une peer review surement enrichissante (du genre "ah oui ok mais citez mon article" ^^), et surtout ce sont des idées qui worth spreading je trouve
Damien (2013-03-20T14:35:04Z)
Toujours sur le thème de l'hypothèse du continu, il y a aussi l'axiome de symétrie qui est assez rigolo…
http://en.wikipedia.org/wiki/Freiling%27s_axiom_of_symmetry
http://www.maa.org/devlin/devlin_6_01.html
http://mathoverflow.net/questions/49721/axiom-of-symmetry-aka-freilings-argument-against-ch