A Tour Through Mathematical Logic

A Tour through Mathematical Logic provides a tour through the main branches of the foundations of mathematics. It contains chapters covering elementary logic, basic set theory, recursion theory, Gödel’s (and others’) incompleteness theorems, model theory, independence results in set theory, nonstand...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Wolf, Robert S.
Format: E-Book Buch
Sprache:Englisch
Veröffentlicht: Providence, Rhode Island American Mathematical Society 2005
Mathematical Association of America
Ausgabe:1
Schriftenreihe:Carus Mathematical Monographs
Schlagworte:
Algebra, Abstract
Logic, Symbolic and mathematical
Mathematics
ISBN:0883850427, 9780883850428, 0883850362, 9780883850367
ISSN:0069-0813, 2637-7535
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Abstract A Tour through Mathematical Logic provides a tour through the main branches of the foundations of mathematics. It contains chapters covering elementary logic, basic set theory, recursion theory, Gödel’s (and others’) incompleteness theorems, model theory, independence results in set theory, nonstandard analysis, and constructive mathematics. In addition, this monograph discusses several topics not normally found in books of this type, such as fuzzy logic, nonmonotonic logic, and complexity theory.
AbstractList A Tour through Mathematical Logic provides a tour through the main branches of the foundations of mathematics. It contains chapters covering elementary logic, basic set theory, recursion theory, Gödel’s (and others’) incompleteness theorems, model theory, independence results in set theory, nonstandard analysis, and constructive mathematics. In addition, this monograph discusses several topics not normally found in books of this type, such as fuzzy logic, nonmonotonic logic, and complexity theory.
Author Wolf, Robert S.
Author_xml – sequence: 1
  givenname: Robert S.
  surname: Wolf
  fullname: Wolf, Robert S.
  organization: California Polytechnic State University
BackLink https://cir.nii.ac.jp/crid/1130282269483902976$$DView record in CiNii
BookMark eNotkEtPwzAQhA20iKRU_AOUSkicQtdex49jqXhJRVwqxM1yXKdJaRNI0v-Pq7CH3cunmZ2Jyahuak_IDYUHChrmzrZzQDgjMRWUcw5MfZ2TiAmUqcwwuyAxKIUqA87kiEQAQqegKI5JzAA4pZhxuCSREgpASkWvyLTrqhzCKNQCIzJbJOvm2Cbrsm2O2zJ5t33pD7avnN0nq2ZbuWsyLuy-89P_OyGfz0_r5Wu6-nh5Wy5WqZWKh49yzHLJqdsUFnnON5tC51oxQMaokkw6KnRuwVvhZbDOwYLgHoDxDB34AifkfhD-aZvfo-964_Om-Xa-7lu7N0-PS0QEzCCQdwNZV5Vx1WmHrKEexoTmIRkwLUXAbgds1_VNa05indkZ1_dZWWpeBmA2APbQDWadoWBO5ZtQvgnl4x8r_mke
ContentType eBook
Book
Copyright Copyright 2005 American Mathematical Society
2005 The Mathematical Association of America (Incorporated)
Copyright_xml – notice: Copyright 2005 American Mathematical Society
– notice: 2005 The Mathematical Association of America (Incorporated)
DBID RYH
DEWEY 511.3
DOI 10.1090/car/030
DatabaseName CiNii Complete
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Mathematics
EISBN 161444028X
9781614440284
EISSN 2637-7535
Edition 1
ExternalDocumentID EBC3330350
BA70556811
10.4169/j.ctt5hh94h
10_1090_car_030
GroupedDBID 089
A4J
AABBV
AAWPO
ABARN
ABIAV
ABQPQ
ACFYN
ACLGV
ACVUZ
ADVEM
AEKGI
AERYV
AFOJC
AGLEC
AHWGJ
AJFER
AKHYG
ALMA_UNASSIGNED_HOLDINGS
AMYDA
AZZ
BBABE
BFATZ
BQKUL
CZZ
GEOUK
HF4
IWG
JJU
PQQKQ
RYH
ID FETCH-LOGICAL-a78437-b35b741cdfa34b4ddf9b982032218727c169ba0ea6e7963b0a064e002453c0ef3
ISBN 0883850427
9780883850428
0883850362
9780883850367
ISSN 0069-0813
IngestDate Wed Dec 10 10:28:50 EST 2025
Thu Jun 26 21:24:11 EDT 2025
Sun Jun 29 14:01:40 EDT 2025
Thu Aug 14 15:25:09 EDT 2025
IsPeerReviewed false
IsScholarly false
LCCN 2004113540
LCCallNum_Ident QA9 .W7483 2005
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-a78437-b35b741cdfa34b4ddf9b982032218727c169ba0ea6e7963b0a064e002453c0ef3
OCLC 868007781
PQID EBC3330350
PageCount 414
ParticipantIDs proquest_ebookcentral_EBC3330350
nii_cinii_1130282269483902976
jstor_books_j_ctt5hh94h
ams_ebooks_10_1090_car_030
PublicationCentury 2000
PublicationDate 20050000
20050601
c2005
2005
PublicationDateYYYYMMDD 2005-01-01
2005-06-01
PublicationDate_xml – year: 2005
  text: 20050000
PublicationDecade 2000
PublicationPlace Providence, Rhode Island
PublicationPlace_xml – name: Providence, Rhode Island
– name: Washington, D.C
– name: Washington
PublicationSeriesTitle Carus Mathematical Monographs
PublicationYear 2005
Publisher American Mathematical Society
Mathematical Association of America
Publisher_xml – name: American Mathematical Society
– name: Mathematical Association of America
SSID ssib000083963
ssj0001101018
Score 1.937106
Snippet A Tour through Mathematical Logic provides a tour through the main branches of the foundations of mathematics. It contains chapters covering elementary logic,...
SourceID proquest
nii
jstor
ams
SourceType Publisher
SubjectTerms Algebra, Abstract
Logic, Symbolic and mathematical
Mathematics
TableOfContents Predicate Logic -- Axiomatic Set Theory -- Recursion Theory and Computability -- Gödel’s Incompleteness Theorems -- Model Theory -- Contemporary Set Theory -- Nonstandard Analysis -- Constructive Mathematics
Front Matter Preface Table of Contents CHAPTER 1: Predicate Logic CHAPTER 2: Axiomatic Set Theory CHAPTER 3: Recursion Theory and Computability CHAPTER 4: Gödel’s Incompleteness Theorems CHAPTER 5: Model Theory CHAPTER 6: Contemporary Set Theory CHAPTER 7: Nonstandard Analysis CHAPTER 8: Constructive Mathematics APPENDIX A APPENDIX B APPENDIX C APPENDIX D Bibliography Symbols and Notation Index
cover -- copyright page -- title page -- Preface -- Contents -- 1 Predicate Logic -- 1.1 Introduction -- A very brief history of mathematical logic -- Short Bio: Bertrand Russell -- 1.2 Propositional logic -- 1.3 Quantifiers -- Uniqueness -- Proof methods based on quantifiers -- Translating statements into symbolic form -- 1.4 First-order languages and theories -- Short Bio: Euclid -- 1.5 Examples of first-order theories -- 1.6 Normal forms and complexity -- Second-order logic and Skolem form -- 1.7 Other logics -- Many-valued logic -- Fuzzy logic -- Modal logic -- Nonmonotonic logic -- Temporal logic -- 2 Axiomatic Set Theory -- 2.1 Introduction -- 2.2 "Naive" set theory -- Short Bio: Georg Ferdinand Cantor -- 2.3 Zermelo-Fraenkel set theory -- Proper axioms of ZF set theory -- Short bio: John von Neumann -- The regularity axiom -- 2.4 Ordinals -- 2.5 Cardinals and the cumulative hierarchy -- Von Neumann cardinals -- The cumulative hierarchy -- 3 Recursion Theory and Computability -- 3.1 Introduction -- Short Bio: Emil Post -- 3.2 Primitive recursive functions -- 3.3 Turing machines and recursive functions -- Short Bio: Alan Turing -- The mu operator -- 3.4 Undecidability and recursive enumerability -- Recursive enumerability -- 3.5 Complexity theory -- Nondeterministic Turing machines, and P vs. NP -- 4 Gödel's Incompleteness Theorems -- 4.1 Introduction -- 4.2 The arithmetization of formal theories -- Short Bio: Kurt Gödel -- The recursion theorem -- 4.3 A potpourri of incompleteness theorems -- An historical perspective on Gödel's work -- Gödel's second incompleteness theorem -- Hilbert's formalist program, revisited -- 4.4 Strengths and limitations of PA -- Ramsey's theorems and the Paris-Harrington results -- Short Bio: Frank Ramsey -- 5 Model Theory -- 5.1 Introduction -- 5.2 Basic concepts of model theory
5.3 The main theorems of model theory -- The Löwenheim-Skolem - Tarski theorem -- 5.4 Preservation theorems -- Preservation under submodels and intersections -- Preservation under unions of chains -- Preservation under homomorphic images -- Preservation under direct products -- 5.5 Saturation and complete theories -- Short Bio: Julia Robinson -- 5.6 Quantifier elimination -- 5.7 Additional topics in model theory -- Axiomatizable and nonaxiomatizable classes -- Stone spaces -- Tarski's undefinability theorem -- Second-order model theory -- 6 Contemporary Set Theory -- 6.1 Introduction -- Some more history of set theory -- 6.2 The relative consistency of AC and GCH -- 6.3 Forcing and the independence results -- 6.4 Modern set theory and large cardinals -- Large cardinals and the consistency of ZF -- 6.5 Descriptive set theory -- Classical descriptive set theory -- Short Bio: Nikolai Luzin -- 6.6 The axiom of determinacy -- Infinite games -- Woodin's program -- 7 Nonstandard Analysis -- 7.1 Introduction -- "Limits vs. infinitesimals" through the ages -- Short Bio: Archimedes -- Short Bio: Leonhard Euler -- 7.2 Nonarchimedean fields -- 7.3 Standard and nonstandard models -- 7.4 Nonstandard methods in mathematics -- 8 Constructive Mathematics -- 8.1 Introduction -- 8.2 Brouwer's intuitionism -- Short Bio: L. E. J. Brouwer -- 8.3 Bishop's constructive analysis -- Functions and continuity -- Differentiation -- Integration -- Appendix A: A Deductive System for First-order Logic -- Logical axioms -- Rule of inference -- Appendix B: Relations and Orderings -- Orderings -- Functions and equivalence relations -- Appendix C: Cardinal Arithmetic -- Infinitary cardinal operations -- Appendix D: Groups, Rings, and Fields -- Groups -- Rings and fields -- Ordered algebraic structures -- Bibliography -- Symbols and Notation -- Index
Title A Tour Through Mathematical Logic
URI https://www.ams.org/car/030
https://www.jstor.org/stable/10.4169/j.ctt5hh94h
https://cir.nii.ac.jp/crid/1130282269483902976
https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=3330350
Volume 30
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtR1da9swUKzNHrantd1HurV4sLfg1rbkDz3sYQ1pC2Ndoenom5FkiWRsbonT0Z-_O0mxnRQGeygEIcvWObqTT3e60x0hn3SkTJbBl6YTnYYsj2QoZULDxMi8wKOLLHXJJvKLi-Lmhl_6nK2NTSeQ13Xx8MDvnpTU0AbExqOz_0HuFig0QB2IDiWQHcoNibi99P7GIwwJOJr6zDvf2oCsuFeNHK5lwLe_TOdVPbo6cqwFQx43n8dicd-sd4bv3gW2Xt8jSDf2CDrjT7-zdwtdUyhj1A9BpXRp21ZMM-MhSA6OD2nblmQ0D0HTSfuM1BlYHvHkiKMTo0J_cfQ27xaelbHd0h6QCPfhh4614neDXhz9bq4OlaO7yqzDaJUZeFMJD5Xw1BYZoE0Z1PHB2eT79de-iEy5Dzlm9-FijLLnFmw_Tne2GqEdA7Rj6yG_BX9p5bIKV_V8_mjxthLJ9BUZaDymskOe6XqXvOxQ3uyRj18CnAmBnwlBnx6BnQmvyY_TyXR8HvpUGKHICwa4ljSVIPypygjKJKsqwyUH6Q34cVyADKrijEsRaZHpHIYnIwGypraGdaoibegbsl3f1vodCQQ1yhhtGMh-LNGmSAwTSWWoNpznUg3JPgy2tMb6ptzA65C8tTgo3d2fpVou09mMs9mQHABWSjXHMkZ7OMieGWeAbkyQlg1JsMKXg-29j8vJyZhSihbu_X-9-T150U3tD2R7ubjXB-S5-rOcN4tDT-a_qXVZEg
linkProvider ProQuest Ebooks
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=A+Tour+Through+Mathematical+Logic&rft.au=Wolf%2C+Robert+S.&rft.series=Carus+Mathematical+Monographs&rft.date=2005-01-01&rft.pub=American+Mathematical+Society&rft.isbn=9781614440284&rft.issn=0069-0813&rft.eissn=2637-7535&rft.volume=30&rft_id=info:doi/10.1090%2Fcar%2F030&rft.externalDBID=https%3A%2F%2Fwww.ams.org%2Fcar%2F030%2Fcar030.pdf&rft.externalDocID=10_1090_car_030
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0069-0813&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0069-0813&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0069-0813&client=summon