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

J. B. Paris

Download from

dx.doi.org

More download options

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 [Book Review]

J. B. Paris

Journal of Symbolic Logic 48 (2):483-484 (1983)

@article{Paris1983-PARKMI-2,
	author = {J. B. Paris},
	doi = {10.2307/2273565},
	journal = {Journal of Symbolic Logic},
	number = {2},
	pages = {483--484},
	title = {Mcaloon K.. Introduction. Mod\`{e}les de l'Arithm\'{e}tique, S\'{e}minaire Paris Vii, Edited by Mcaloon K., Asterisque, No. 73, Soci\'{e}t\'e Math\'{e}matique de France, Paris 1980, Pp. 1?2.Kirby L. A. S.. La M\'{e}thode des Indicatrices Et le Th\'{e}or\`{e}me D'Incompl\'{e}tude. Mod\`{e}les de l'Arithm\'{e}tique, S\'{e}minaire Paris Vii, Edited by Mcaloon K., Asterisque, No. 73, Soci\'{e}t\'e Math\'{e}matique de France, Paris 1980, Pp. 5?18.Lascar Daniel. Une Indicatrice de Type ?Ramsey? Pour l'Arithm\'{e}tique de Peano Et la Formule de Paris-Harrington. Mod\`{e}les de l'Arithm\'{e}tique, S\'{e}minaire Paris Vii, Edited by Mcaloon K., Asterisque, No. 73, Soci\'{e}t\'e Math\'{e}matique de France, Paris 1980, 19?30.Mcaloon Kenneth. Les Rapports Entre la M\'{e}thode des Indicatrices Et la M\'{e}thode de G\"{o}del Pour Obtenir des R\'{e}sultats D'Ind\'{e}pendance. Mod\`{e}les de l'Arithm\'{e}tique, S\'{e}minaire Paris Vii, Edited by Mcaloon K., Asterisque, No. 73, Soci\'{e}t\'e Math\'{e}matique de France, Paris 1980, Pp. 31?39.Mcaloon Kenneth. Progressions Transfinies de Th\'{e}ories Axiomatiques, Formes Combinatoires},
	volume = {48},
	year = {1983}
}

Paris, J. B. (1983). 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. Journal of Symbolic Logic 48 (2):483-484.

Copy BIBT_EX

Abstract

This article has no associated abstract. (fix it)

Cite

Plain text

BibTeX

Formatted text

Zotero

EndNote

Reference Manager

RefWorks

Options

Mark as duplicate

Find it on Scholar

Request removal from index

Translate to english

Revision history

Edit

Author's Profile

Jeffrey Paris

University of Manchester

Keywords

Add keywords

Reprint years

DOI

10.2307/2273565

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.

Review: K. McAloon, Modeles de l'arithmetique, Siminaire Paris VII. [REVIEW]J. B. Paris - 1983 - Journal of Symbolic Logic 48 (2):483-484.

Phase Transition Results for Three Ramsey-Like Theorems.Florian Pelupessy - 2016 - Notre Dame Journal of Formal Logic 57 (2):195-207.

Martin R.. Logique mathématique. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 , pp. 52–53.Sabbagh G.. Logique mathématique. 1. Généralités. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 , pp. 53–56.Reznikoff I.. Logique mathématique. 2. Théorie lie la démonstration et intuitionnisme. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 , pp. 57–64.Sabbagh G.. Logique mathématique. 3. Théorie des modèles. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 , pp. 65–66.Sabbagh G.. Logique mathématique. 4. Théorie axiomatique des ensembles. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 , pp. 66–71.Sabbagh G.. Logique mathématique. 5. Décidabilité et fonctions récursives. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 , pp. 71–73. [REVIEW]J. van Heijenoort - 1973 - Journal of Symbolic Logic 38 (2):341-341.

A sharpened version of McAloon's theorem on initial segments of models of< i> IΔ_< sub> 0.Paola D'Aquino - 1993 - Annals of Pure and Applied Logic 61 (1):49-62.

A sharpened version of McAloon's theorem on initial segments of models of IΔ0.Paola D'Aquino - 1993 - Annals of Pure and Applied Logic 61 (1-2):49-62.

Combinatorial Unprovability Proofs and Their Model-Theoretic Counterparts.Mojtaba Aghaei & Amir Khamseh - 2014 - Notre Dame Journal of Formal Logic 55 (2):231-244.

René Cori et Daniel Lascar. Logique mathématique. Cours et exercices. Tome I. Calcul propositionnel, algèbres de Boole, calcul des prédicats. Préface de J.-L. Krivine. Collection axiomes. Masson, Paris etc. 1993, xv + 385 p. - René Cori et Daniel Lascar. Logique mathématique. Cours et exercices. Tome II. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles. Préface de J.-L. Krivine. Collection axiomes. Masson, Paris etc. 1993, xv + 347 p. [REVIEW]Luc Bélair - 1995 - Journal of Symbolic Logic 60 (2):691-692.

European Summer Meeting of the Association for Symbolic Logic, Paris, 1985.K. R. Apt - 1987 - Journal of Symbolic Logic 52 (1):295-349.

Le séminaire de mathématiques : un lieu d’échanges défini par ses acteurs. Incursion dans la vie collective des mathématiques autour de Laurent Schwartz.Anne-Sandrine Paumier - 2015 - Philosophia Scientiae 19:171-193.

Sur l’infini mathématique. Genèse des concepts et hétéronomie des mathématiques.Dominique Pradelle - 2017 - In Michel Fichant & Sophie Roux (eds.), Louis Couturat (1868-1914). Paris, France: Classiques Garnier. pp. 15-44.

Two further combinatorial theorems equivalent to the 1-consistency of peano arithmetic.Peter Clote & Kenneth Mcaloon - 1983 - Journal of Symbolic Logic 48 (4):1090-1104.

On Gödel incompleteness and finite combinatorics.Akihiro Kanamori & Kenneth McAloon - 1987 - Annals of Pure and Applied Logic 33 (C):23-41.

Jon Barwise and John Schlipf. On recursively saturated models of arithmetic. Model theory and algebra, A memorial tribute to Abraham Robinson, edited by D. H. Saracino and V. B. Weispfenning, Lecture notes in mathematics, vol. 498, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 42–55. - Patrick Cegielski, Kenneth McAloon, and George Wilmers. Modèles récursivement saturés de l'addition et de la multiplication des entiers naturels. Logic Colloquium '80, Papers intended for the European summer meeting of the Association for Symbolic Logic, edited by D. van Dalen, D. Lascar, and T. J. Smiley, Studies in logic and the foundations of mathematics, vol. 108, North-Holland Publishing Company, Amsterdam, New York, and London, 1982, pp. 57–68. - Julia F. Knight. Theories whose resplendent models are homogeneous. Israel journal of mathematics, vol. 42 , pp. 151–161. - Julia Knight and Mark Nadel. Expansions of models and Turing degrees. The journal of symbolic logic, vol. 47 , pp. 58. [REVIEW]J. -P. Ressayre - 1987 - Journal of Symbolic Logic 52 (1):279-284.

Book Review: La société punitive: Cours au Collège de France, 1972-1973, by Michel Foucault, edited by Bernard E. HarcourtLa société punitive: Cours au Collège de France, 1972-1973, by FoucaultMichel, edited by HarcourtBernard E., under the direction of François Ewald and Alessandro Fontana. Paris: Gallimard/Seuil, 2013. 349 pp. [REVIEW]Marcelo Hoffman - 2015 - Political Theory 43 (4):553-557.

Analytics

Added to PP
2016-06-30

Downloads
67 (#242,870)

6 months
5 (#639,460)

Historical graph of downloads

How can I increase my downloads?

Author's Profile

Jeffrey Paris

University of Manchester

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...

Abstract

Author's Profile

Categories

Keywords

Reprint years

DOI

Links

PhilArchive

External links

Through your library

My notes

Similar books and articles

Analytics

Author's Profile

Citations of this work

References found in this work