Buch
Lizenziert
Nicht lizenziert
Erfordert eine Authentifizierung
Predicative Arithmetic
-
Edward Nelson
Sprache:
Englisch
Veröffentlicht/Copyright:
1986
Über dieses Buch
This book develops arithmetic without the induction principle, working in theories that are interpretable in Raphael Robinson's theory Q. Certain inductive formulas, the bounded ones, are interpretable in Q. A mathematically strong, but logically very weak, predicative arithmetic is constructed.
Originally published in 1986.
The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.
Fachgebiete
|
Öffentlich zugänglich PDF downloaden |
i |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
v |
|
Öffentlich zugänglich PDF downloaden |
vii |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
1 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
3 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
8 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
10 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
12 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
16 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
23 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
29 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
32 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
36 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
43 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
46 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
51 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
54 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
60 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
64 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
70 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
73 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
82 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
90 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
95 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
98 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
101 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
111 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
115 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
134 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
136 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
152 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
157 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
162 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
173 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
178 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
181 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
183 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
186 |
Informationen zur Veröffentlichung
Seiten und Bilder/Illustrationen im Buch
eBook veröffentlicht am:
14. Juli 2014
eBook ISBN:
9781400858927
Auflage:
Course Book
Seiten und Bilder/Illustrationen im Buch
Inhalt:
200
eBook ISBN:
9781400858927
Schlagwörter für dieses Buch
Axiom; Theorem; Extension by definitions; Metatheorem; Exponentiation; Mathematics; Finitary; Variable (mathematics); Quantifier (logic); Non-standard analysis; Zermelo–Fraenkel set theory; Existential quantification; Big O notation; Rule of inference; Conservative extension; Impredicativity; Herbrand's theorem; Arithmetic; Scientific notation; Set theory; Contradiction; Direct proof; Deduction theorem; Mathematician; Mathematical induction; Peano axioms; Logical connective; Transfer principle; Real number; Commutative property; Inaccessible cardinal; Classical mathematics; Measurable cardinal; Gödel's completeness theorem; Negation; Foundations of mathematics; Natural number; Positional notation; Primitive notion; Inference; Ranking (information retrieval); Power set; Rational number; Logic; Interpretability; Primitive recursive function; Principia Mathematica; Polynomial; Transfinite number; Finite set; Exponential function; Subset; Binary number; Atomic formula; Arithmetic IF; Closed-form expression; Almost surely; Power of two; Binary relation; Computation; Axiomatic system; Beta function; Tuple; Probability theory; Fundamenta Mathematicae; Consistency; Robert Langlands; Notation; P-adic analysis; Recursion (computer science)
Zielgruppe(n) für dieses Buch
College/higher education;Professional and scholarly;
