Sur les types d'ordre distincts dont les n-ièmes puissances sont équivalentes
F. Sunyer-i-Balaguer (1958)
Fundamenta Mathematicae
Similarity:
F. Sunyer-i-Balaguer (1958)
Fundamenta Mathematicae
Similarity:
E. Specker (1949)
Colloquium Mathematicae
Similarity:
Denis Bonnay (2005)
Philosophia Scientiae
Similarity:
La logique IF prétend constituer une alternative à la logique classique du premier ordre : en libéralisant les schémas de dépendance entre quantificateurs, elle mènerait à leur terme les idées sous-jacentes à la logique classique. Mais les jeux de Hintikka ne constituent pas la seule manière possible de fournir une sémantique pour l’indépendance : on pourrait au contraire vouloir le faire dans le cadre d’une sémantique récursive avec des quantificateurs de Henkin. Nous présentons ici...
Robert Gentleman, Markus Ruschhaupt, Wolfgang Huber (2005)
Journal de la société française de statistique
Similarity:
William S. Cleveland (2000)
Journal de la société française de statistique
Similarity:
Christophe Heintz (2005)
Philosophia Scientiae
Similarity:
Ceccarelli, Giovanni (2007)
Journal Électronique d'Histoire des Probabilités et de la Statistique [electronic only]
Similarity:
Francien Dechesne (2005)
Philosophia Scientiae
Similarity:
La logique IF prétend constituer une alternative à la logique classique du premier ordre : en libéralisant les schémas de dépendance entre quantificateurs, elle mènerait à leur terme les idées sous-jacentes à la logique classique. Mais les jeux de Hintikka ne constituent pas la seule manière possible de fournir une sémantique pour l’indépendance : on pourrait au contraire vouloir le faire dans le cadre d’une sémantique récursive avec des quantificateurs de Henkin. Nous présentons ici...
Hartley Slater (2005)
Philosophia Scientiae
Similarity:
Les arguments de Maddy avancés en 1990 contre la théorie des agrégats se trouvent affaiblis par le retournement qu’elle opère en 1997. La présente communication examine cette théorie à la lumière de ce retournement ainsi que des récentes recherches sur les “Nouveaux axiomes pour les mathématiques”. Si la théorie des ensembles est la théorie de la partie–tout des singletons, identifier les singletons à leurs membres singuliers ramène la théorie des ensembles à la théorie des agrégats....