Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "peano's 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
Retain my current filters
dewey-ones:"511 - General principles of mathematics"
Search alternatives
:
"peano's arithmetic" »
"peano arithmetic"
,
"operators arithmetic"
,
"mean arithmetic"
Showing
1
-
17
of
17
Search:
'"peano's arithmetic"'
,
query time: 0.08s
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
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
5
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
6
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
7
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
8
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
9
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
10
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
11
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
12
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
...
”
Read Now
13
Logic and Structure
by
van Dalen, Dirk
Published 2004
Springer Berlin Heidelberg
“
... of
Peano
's
arithmetic
is based on the natural deduction system...
”
Read Now
14
Logic and Structure
by
Dalen, Dirk van
Published 1980
Springer Berlin Heidelberg
“
... of
Peano
's
arithmetic
is based on the natural deduction system...
”
Read Now
15
Logic and Structure
by
Dalen, Dirk van
Published 1983
Springer Berlin Heidelberg
“
... of
Peano
's
arithmetic
is based on the natural deduction system...
”
Read Now
16
Logic and Structure
by
Dalen, Dirk van
Published 1994
Springer Berlin Heidelberg
“
... of
Peano
's
arithmetic
is based on the natural deduction system...
”
Read Now
17
Ramsey Theory for Discrete Structures
by
Prömel, Hans Jürgen
Published 2013
Springer International Publishing
“
... of the incompleteness of
Peano
arithmetic
, provides a digression to discrepancy theory, and examines extensions...
”
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 511 - General principles of mathematics
Year of Publication
From:
To:
Classification
511 - General principles of mathematics
Language
English
17
Collection
Springer Book Archives -2004
7
Cambridge Books Online
4
Springer eBooks 2005-
4
DeGruyter MPG Collection
1
Oxford University Press
1
Author
Dalen, Dirk van
3
Artemov, Sergei
1
Association for Symbolic Logic
1
Berline, C.
1
Halbeisen, Lorenz
1
Kennedy, Juliette
1
more ...
Kossak, Roman
1
Krapf, Regula
1
Lerman, M.
1
Marker, David
1
McAloon, K.
1
Nerode, Anil
1
Pacholski, L.
1
Prömel, Hans Jürgen
1
Ressayre, J.-P.
1
Schmerl, J. H.
1
Schmerl, J.H.
1
Schwichtenberg, Helmut
1
Sheppard, Barnaby
1
Smith, Peter
1
Soare, R.I.
1
Takeuti, Gaisi
1
Wainer, S. S.
1
Wierzejewski, J.
1
Wilkie, A.J.
1
van Dalen, Dirk
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22511+-+General+principles+of+mathematics%22&lookfor=%22peano%27s+arithmetic%22&type=AllFields
Send by Email
×
Loading...