Carnap's remarks on Impredicative Definitions and the Genericity Theorem
Résumé
Read: https://www.springer.com/fr/book/9780792356592
Chapitre D'ouvrage
Année : 1999
UAR 3608 République des savoirs : Connectez-vous pour contacter le contributeur
https://hal-ens.archives-ouvertes.fr/hal-03318819
Soumis le : mercredi 11 août 2021-09:11:32
Dernière modification le : vendredi 10 juin 2022-15:54:01
Dates et versions
Identifiants
- HAL Id : hal-03318819 , version 1
Citer
Thomas Fruchart, Giuseppe Longo. Carnap's remarks on Impredicative Definitions and the Genericity Theorem. Cantini, Andrea; Casari, Ettore; Minari, Pierluigi. Logic and Foundations of Mathematics, Springer, 1999, 978-94-017-2109-7. ⟨hal-03318819⟩
20
Consultations
0
Téléchargements