Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: (("peano's arithmetic") OR ("peano arithmetic"))
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Search alternatives
:
"peano's arithmetic" »
"operators arithmetic"
,
"mean arithmetic"
,
"papers arithmetic"
Showing
1
-
20
of
29
Search:
'(("peano's arithmetic") OR ("peano arithmetic"))'
,
query time: 0.16s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
The structure of models of
Peano
arithmetic
by
Kossak, Roman
Published 2006
Clarendon
Call Number:
QA9
Read Now
2
Gödel's Theorems and Zermelo's Axioms : A Firm Foundation of Mathematics
by
Halbeisen, Lorenz
,
Krapf, Regula
Published 2020
Birkhäuser
Table of Contents:
“
... -- Models of
Peano
Arithmetic
and Consequences for Logic -- Arithmetic in
Peano
Arithmetic
-- Gödelisation...
”
Read Now
3
Model Theory and Arithmetic : Comptes rendus d'une action thematique programmee du C.N.R.S. sur la theorie des modeles et l'Arithmetique, Paris, France, 1979/80
Published 1981
Springer Berlin Heidelberg
Table of Contents:
“
...Models of
Peano
Arithmetic
-- Cuts in Models of Arithmetic -- Two notes on the Paris independence...
”
Read Now
4
A Mathematical Prelude to the Philosophy of Mathematics
by
Pollard, Stephen
Published 2014
Springer International Publishing
Table of Contents:
“
...Preface -- Chapter 1: Recursion, Induction -- Chapter 2:
Peano
Arithmetic
, Incompleteness...
”
Read Now
5
Two Applications of Logic to Mathematics
by
Takeuti, Gaisi
Published 2015
Princeton University Press
“
... of projections. In Part Two, he develops classical analysis including complex analysis in
Peano
's
arithmetic
...
”
Call Number:
QA9
Read Now
6
Truth, Proof and Infinity : A Theory of Constructive Reasoning
by
Fletcher, P.
Published 1998
Springer Netherlands
Table of Contents:
“
...47. From Second-Order Heyting Arithmetic to Second-Order
Peano
Arithmetic
-- 48. Second-Order
Peano
...
”
Read Now
7
Model Theory of Algebra and Arithmetic : Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz,Poland, September 1-7, 1979
Published 1980
Springer Berlin Heidelberg
Table of Contents:
“
..., and independence results in
Peano
arithmetic
-- Hensel fields in equal characteristic p>0 -- On polynomials over...
”
Read Now
8
Turing Computability : Theory and Applications
by
Soare, Robert I.
Published 2016
Springer Berlin Heidelberg
Table of Contents:
“
... Trees and Π01 Classes -- Chap. 8 Open and Closed Classes -- Chap. 9 Basis Theorems -- Chap. 10
Peano
...
”
Read Now
9
The logic of infinity
by
Sheppard, Barnaby
Published 2014
Cambridge University Press
Table of Contents:
“
... -- The axiom of choice and the continuum hypothesis -- Models -- From Gödel to Cohen.
Peano
arithmetic
...
”
Call Number:
QA248
Read Now
10
A Model–Theoretic Approach to Proof Theory
by
Kotlarski, Henryk
Published 2019
Springer International Publishing
“
.... This provides a background for an analysis of subsystems of
Peano
Arithmetic
as well as for combinatorial...
”
Read Now
11
S. Leśniewski’s Lecture Notes in Logic
Published 1988
Springer Netherlands
Table of Contents:
“
... and theses of Le?niewski’s Ontology -- 3. Class theory -- Two:
Peano
Arithmetic
and Whitehead’s Theory...
”
Read Now
12
Forcing, Arithmetic, Division Rings
by
Hirschfeld, J.
,
Wheeler, W.H.
Published 1975
Springer Berlin Heidelberg
Table of Contents:
“
... for arithmetic -- Generic models and the analytic hierarchy -- Applications to complete extensions of
peano
...
”
Read Now
13
Metamathematics of first-order arithmetic
by
Hájek, Petr
,
Pudlák, Pavel
Published 2016
Cambridge University Press
“
... pay particular attention to subsystems (fragments) of
Peano
arithmetic
and give the reader a deeper...
”
Call Number:
QA248
Read Now
14
Gödel's Incompleteness theorems
by
Kennedy, Juliette
Published 2022
Cambridge University Press
“
.... It examines the question whether the incompleteness of e.g.
Peano
Arithmetic
gives immediately...
”
Call Number:
QA9.65
Read Now
15
Proofs and computations
by
Schwichtenberg, Helmut
,
Wainer, S. S.
Published 2012
Cambridge University Press
“
... in classical systems, from fragments of
Peano
arithmetic
up to Π11-CA0. Ordinal analysis...
”
Call Number:
QA9.54
Read Now
16
Logic Year 1979-80 : The University of Connecticut, USA
Published 1981
Springer Berlin Heidelberg
Table of Contents:
“
...-MacQueen theorem -- Recursively saturated, rather classless models of
peano
arithmetic
-- The degrees...
”
Read Now
17
An Invitation to Mathematical Logic
by
Marker, David
Published 2024
Springer Nature Switzerland
Table of Contents:
“
... Gödel's Incompleteness Theorems -- 14 Hilbert’s 10th Problem -- 15
Peano
Arithmetic
and ϵ0 -- 16 Models...
”
Read Now
18
Logic and Complexity
by
Lassaigne, Richard
,
Rougemont, Michel de
Published 2004
Springer London
Table of Contents:
“
... and decidability -- 7. Incompleteness of
Peano
arithmetic
-- 2. Descriptive Complexity -- 8 Complexity: time...
”
Read Now
19
An introduction to Gödel's Theorems
by
Smith, Peter
Published 2007
Cambridge University Press
Table of Contents:
“
...: taking stock -- Two formalized arithmetics -- What q can prove -- First-order
peano
arithmetic
...
”
Call Number:
QA9.65
Read Now
20
Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings
Published 2020
Springer International Publishing
Table of Contents:
“
... Logic Analysed in Constructive Type Theory -- On the Constructive Truth and Falsity in
Peano
Arithmetic
...
”
1
2
Back
Narrow Search
Year of Publication
From:
To:
Classification
511 - General principles of mathematics
17
160 - Logic
4
004 - Data processing & computer science
3
006 - Special computer methods
1
330 - Economics
1
501 - Philosophy & theory
1
more ...
510 - Mathematics
1
513 - Arithmetic
1
see all ...
less ...
Language
English
29
Collection
Springer Book Archives -2004
12
Springer eBooks 2005-
9
Cambridge Books Online
5
DeGruyter MPG Collection
1
Edward Elgar eBook Archive
1
Oxford University Press
1
Author
Dalen, Dirk van
3
Adamowicz, Zofia
1
Artemov, Sergei
1
Association for Symbolic Logic
1
Berline, C.
1
Bigorajska, Teresa
1
more ...
Esparza, Javier
1
Fitting, M.
1
Fletcher, P.
1
Halbeisen, Lorenz
1
Hirschfeld, J.
1
Hájek, Petr
1
Kanazawa, Makoto
1
Kennedy, Juliette
1
Kinsella, Stephen
1
Kossak, Roman
1
Kotlarski, Henryk
1
Krapf, Regula
1
Lassaigne, Richard
1
Lerman, M.
1
Marker, David
1
McAloon, K.
1
Murawski, Andrzej S.
1
Nerode, Anil
1
Ono, Hiroakira
1
Pacholski, L.
1
Pollard, Stephen
1
Prömel, Hans Jürgen
1
Pudlák, Pavel
1
Ressayre, J.-P.
1
Rougemont, Michel de
1
Schmerl, J. H.
1
Schmerl, J.H.
1
Schwichtenberg, Helmut
1
Sheppard, Barnaby
1
Smith, Peter
1
Soare, R.I.
1
Soare, Robert I.
1
Srzednicki, Jan J.T.
1
Stachniak, Z.
1
Takeuti, Gaisi
1
Velupillai, K. Vela
1
Wainer, S. S.
1
Wheeler, W.H.
1
Wierzejewski, J.
1
Wilkie, A.J.
1
Zambelli, Stefano
1
Zdanowski, Konrad
1
de Queiroz, Ruy
1
van Dalen, Dirk
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?lookfor=%28%28%22peano%27s+arithmetic%22%29+OR+%28%22peano+arithmetic%22%29%29&type=AllFields
Send by Email
×
Loading...