Non-Standard Models of Arithmetic: a Philosophical and Historical perspective

Non-Standard Models of Arithmetic: a Philosophical and Historical perspective (2010)

Cached

Download Links

by Nicola Di Giorgio

BibTeX

@MISC{Giorgio10non-standardmodels,
    author = {Nicola Di Giorgio},
    title = {Non-Standard Models of Arithmetic: a Philosophical and Historical perspective },
    year = {2010}
}

Bookmark

OpenURL

Abstract

Citations

448	Model Theory - Hodges - 1993
308	Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme. Monatshefte fur Mathematik und Physik - Godel - 1931
155	2002, Computability and Logic - Boolos, Burgess, et al.
134	Non-Standard Analysis - Robinson - 1980
98	Logic and Structure - Dalen - 2004
34	Foundations Without Foundationalism: A Case for Second-Order Logic - Shapiro - 1991
32	1983]: ‘Elementary predicate logic - Hodges - 1977
27	Arithmetices principia, nova methodo exposita - Peano
25	What Numbers Could Not - Benacerraf - 1965
18	Heijenoort. From Frege to Gödel. A source book in mathematical logic - van - 1967
17	A course in model theory: an introduction to contemporary mathematical logic - Poizat, Klein - 2000
16	Models of Peano Arithmetic. Oxford Logic Guides - Kaye - 1991
14	Second-order logic and foundations of mathematics - Väänänen
13	Arithmetical extensions of relational systems - Tarski, Vaught - 1957
11	Labyrinth of Thought: A History of Set Theory - Ferreirós - 2007
8	Lectures on nonstandard models of arithmetic, Logic colloquium ’82 - Smoryński - 1982
7	Non-standard models for formal logics - Wang, Rosser - 1950
6	editors. Philosophy of Mathematics, Selected Readings - Benacerraf, Putnam - 1964
6	Meditationes de prima philosophia - Descartes
6	Thinking about mathematics - Shapiro - 2000
6	Second-order languages and mathematical practice - Shapiro - 1985
5	The structure of models of Peano arithmetic - Kossak, Schmerl - 2006
5	Frege versus Cantor and Dedekind: on the concept of number. Frege, Russell, Wittgenstein: Essays in Early Analytic Philosophy (in honor of - Tait - 1996
4	Completeness and Categoricity. Part I: Nineteenth-century Axiomtics to Twentieth-century Metalogic. History and Philosophy of Logic - Awodey, Reck - 2002
4	The nature and the meaning of numbers. In Essays on the theory of numbers. the open court publishing company - Dedekind - 1901
4	Structures and structuralism in contemporary philosophy of mathematics. Synthese - Reck, Price - 2000
4	Dedekind’s structuralism: an interpretation and partial defense - Reck
4	A survey of Skolem’s work in logic - Wang - 1970
3	The mathematics of Skolem’s paradox - Bays - 2006
3	Non-standard models in a broader perspective - Gaifman - 2003
3	Peano’s axioms and models of arithmetic - Skolem - 1955
2	The Algebra of Logic tradition - Burris
2	The completeness of formal systems - Henkin - 1947
2	Tennenbaum’s Theorem for Models of Arithmetic - Kaye - 2006
2	Completeness and Categoricity: Frege, Gödel and Model Theory. History and Philosophy of Logic - Read - 1997
1	Gödel’s incompleteness theorems — lecture notes. http: //www.cs.ru.nl/˜henk/courses.html - Barendregt
1	Recantation or any old omega-sequence would do after all - Benacerraf - 1996
1	Schemata: The concept of schema in the history of logic - Corcoran
1	Categoricity. History and Philosophy - Corcoran - 1980
1	Letter to keferstein (1890 - Dedekind - 1967
1	Novaes. What does it mean to say that something is formal - Dutilh - 2010
1	Aristotle on causality - Falcon - 2008
1	Thoralf Albert Skolem in Memoriam - Fenstad - 1970
1	Teoria della fondazione epistemica - Giordani - 2002
1	Besprechung von ”Über die Unmöglichkeit einer vollstandigen Charakterisierung der Zahlenreihe mittels eines endlichen Axiomensystems”. Zentralblatt für Mathematik und ihre Grenzgebiete - Gödel - 1934
1	Besprechung von ”Über de Nichtcharakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen. Zentralblatt für Mathematik und ihre Grenzgebiete, 10:49 - Gödel - 1934
1	Collected Works, volume 1 - Gödel - 1986
1	Is there completeness in mathematics after Godel - Hintikka - 1989
1	The skeleton in Frege’s cupboard: The Standard versus Nonstandard distinction - Hintikka, Sandu - 1992
1	Standard vs. Nonstandard distinction: a watershed in the foundations of mathematics - Hintikka - 1995