L'arithmétique ouverte et ses modèles non-standards

Journal of Symbolic Logic 56 (2):700-714 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274712

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,174

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Modèles de l'arithmétique, Séminaire Paris VII.K. Mcaloon - 1983 - Journal of Symbolic Logic 48 (2):483-484.
McAloon K.. Introduction. Modèles de l'arithmétique, Séminaire Paris VII, edited by McAloon K., Asterisque, no. 73, Société Mathématique de France, Paris 1980, pp. 1–2.Kirby L. A. S.. La méthode des indicatrices et le théorème d'incomplétude. Modèles de l'arithmétique, Séminaire Paris VII, edited by McAloon K., Asterisque, no. 73, Société Mathématique de France, Paris 1980, pp. 5–18.Lascar Daniel. Une indicatrice de type “Ramsey” pour l'arithmétique de Peano et la formule de Paris-Harrington. Modèles de l'arithmétique, Séminaire Paris VII, edited by McAloon K., Asterisque, no. 73, Société Mathématique de France, Paris 1980, 19–30.McAloon Kenneth. Les rapports entre la méthode des indicatrices et la méthode de Gödel pour obtenir des résultats d'indépendance. Modèles de l'arithmétique, Séminaire Paris VII, edited by McAloon K., Asterisque, no. 73, Société Mathématique de France, Paris 1980, pp. 31–39.McAloon Kenneth. Progressions transfinies de théories axiomatiques, formes combinatoires. [REVIEW]J. B. Paris - 1983 - Journal of Symbolic Logic 48 (2):483-484.
Modèles non Standard en Arithmétique et théorie des Ensembles.Peter Clote - 1989 - Journal of Symbolic Logic 54 (1):284-287.
L'Arithmetique des Filtres et les Espaces Toplogiques.Herbert Meschkowski - 1957 - Journal of Symbolic Logic 22 (1):84-85.
Cavaillès Jean. Méthode axiomatique et formalisme. I. Le problème du fondement des mathématiques. II. Axiomatique et système formel. III. La non-contradiction de l'arithmétique. Actualités scientifiques et industrielles 608-610. Hermann & Cie, Paris 1938. [REVIEW]Evert Beth - 1939 - Journal of Symbolic Logic 4 (1):32-33.
Sur les Fondements de L'Arithmétique.A. Errera - 1940 - Journal of Symbolic Logic 5 (3):119-120.

Analytics

Added to PP
2009-01-28

Downloads
54 (#402,167)

6 months
20 (#147,745)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Bootstrapping, part I.Sedki Boughattas & J. -P. Ressayre - 2010 - Annals of Pure and Applied Logic 161 (4):511-533.
Algebraic combinatorics in bounded induction.Joaquín Borrego-Díaz - 2021 - Annals of Pure and Applied Logic 172 (2):102885.

Add more citations

References found in this work

Model Theoretic Algebra.G. L. Cherlin - 1976 - Journal of Symbolic Logic 41 (2):537-545.

Add more references