Emploi des filtres sur N dans l'étude descriptive des fonctions
Maryvonne Daguenet (1977)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “Chaînes de théories universelles”
Emploi des filtres sur N dans l'étude descriptive des fonctions
Logique du premier ordre avec quantificateur cardinalisé
Daniel Lacombe (1966-1968)
Séminaire Bourbaki
Similarity:
Théorèmes de non-décidabilité
Daniel Lacombe (1962-1964)
Séminaire Bourbaki
Similarity:
Sur l'extension aux relations de quelques propriétés des ordres
Roland Fraïssé (1954)
Annales scientifiques de l'École Normale Supérieure
Similarity:
Formes combinatoires du théorème d'incomplétude
Kenneth Mc Aloon (1977-1978)
Séminaire Bourbaki
Similarity:
La théorie des fonctions récursives et ses applications. (Exposé d'information générale)
D. Lacombe (1960)
Bulletin de la Société Mathématique de France
Similarity:
Le problème de la mesure
Jacques Stern (1983-1984)
Séminaire Bourbaki
Similarity:
Sur la relation d'inclusion et l'axiome de choix de Zermelo
Uro Kurepa (1952)
Bulletin de la Société Mathématique de France
Similarity: