1974, ISBN: 9027702691
[EAN: 9789027702692], Neubuch, [SC: 13.96], [PU: Springer Netherlands], LOGIK; PHILOSOPHIE / EQUIVALENCE; LEMMA; COMPACTNESSTHEOREM; FORCING; MATHEMATICALLOGIC; MODELTHEORY; PROOF; ULTRAP… Meer...
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten: EUR 13.96 Details... |
ISBN: 9789027702692
[ED: Buch], [PU: Springer Netherlands], Neuware - This book is addressed primarily to researchers specializing in mathemat ical logic. It may also be of interest to students completing a … Meer...
booklooker.de |
1971, ISBN: 9789027702692
This book is addressed primarily to researchers specializing in mathemat ical logic. It may also be of interest to students completing a Masters Degree in mathematics and desiring to emb… Meer...
BetterWorldBooks.com used in stock. Verzendingskosten:plus verzendkosten., exclusief verzendingskosten Details... |
ISBN: 9789027702692
This book is addressed primarily to researchers specializing in mathemat ical logic. It may also be of interest to students completing a Masters Degree in mathematics and desiring to emb… Meer...
Springer.com Nr. 978-90-277-0269-2. Verzendingskosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
1974, ISBN: 9027702691
[PU: D. Reidel, 1974.], MATHS MATHEMATICS MATHEMATICAL THEORY LOGIC MODAL 8, Hardcover. Ex-library, several scuff marks to covers, o/wise good (no markings to clean and bright text). No d… Meer...
AbeBooks.de The Book Firm, Subiaco, WA, Australia [275873] [Rating: 5 (von 5)] Verzendingskosten: EUR 12.91 Details... |
1974, ISBN: 9027702691
[EAN: 9789027702692], Neubuch, [SC: 13.96], [PU: Springer Netherlands], LOGIK; PHILOSOPHIE / EQUIVALENCE; LEMMA; COMPACTNESSTHEOREM; FORCING; MATHEMATICALLOGIC; MODELTHEORY; PROOF; ULTRAP… Meer...
ISBN: 9789027702692
[ED: Buch], [PU: Springer Netherlands], Neuware - This book is addressed primarily to researchers specializing in mathemat ical logic. It may also be of interest to students completing a … Meer...
1971
ISBN: 9789027702692
This book is addressed primarily to researchers specializing in mathemat ical logic. It may also be of interest to students completing a Masters Degree in mathematics and desiring to emb… Meer...
ISBN: 9789027702692
This book is addressed primarily to researchers specializing in mathemat ical logic. It may also be of interest to students completing a Masters Degree in mathematics and desiring to emb… Meer...
1974, ISBN: 9027702691
[PU: D. Reidel, 1974.], MATHS MATHEMATICS MATHEMATICAL THEORY LOGIC MODAL 8, Hardcover. Ex-library, several scuff marks to covers, o/wise good (no markings to clean and bright text). No d… Meer...
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Course of Mathematical Logic: Volume 2 Model Theory
EAN (ISBN-13): 9789027702692
ISBN (ISBN-10): 9027702691
Gebonden uitgave
Verschijningsjaar: 2007
Uitgever: Kluwer Academic Publishers
211 Bladzijden
Gewicht: 0,502 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2007-11-09T23:26:47+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-03-26T09:05:40+01:00 (Amsterdam)
ISBN/EAN: 9789027702692
ISBN - alternatieve schrijfwijzen:
90-277-0269-1, 978-90-277-0269-2
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: fraisse
Titel van het boek: model volume, model theory, course mathematical logic, mathematical logic hardback
Gegevens van de uitgever
Auteur: R. Fraïssé
Titel: Synthese Library; Course of Mathematical Logic - Volume 2 Model Theory
Uitgeverij: Springer; Springer Netherland
198 Bladzijden
Verschijningsjaar: 1974-10-31
Dordrecht; NL
Vertaler: David Louvish
Taal: Engels
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XX, 198 p.
BB; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; Equivalence; Lemma; compactness theorem; forcing; logic; mathematical logic; model theory; proof; ultrapower; ultraproduct; Logic; Mathematical Logic and Foundations; Mathematik: Logik; Mathematische Grundlagen; BC
1/Local Isomorphism and Logical Formula; Logical Restriction Theorem.- 1.1. (k,p)-Isomorphism.- 1.2. (k,p)-Equivalence.- 1.3. Characteristic of a Logical Formula. Relations Between (k,p) -Isomorphism and Logical Formula.- 1.4. Logical Extension and Logical Restriction; Logical Restriction Theorem.- 1.5. Examples of Finitely-Axiomatizable and Non-Finitely-Axiomatizable Multirelations.- 1.6. (k,p)-Interpretability.- 1.7. Homogeneous and Logically Homogeneous Multirelations.- 1.8. Rigid and Logically Rigid Multirelations.- Exercises.- 2/Logical Convergence; Compactness, Omission and Interpretability Theorems.- 2.1. Logical Convergence.- 2.2. Compactness Theorem.- 2.3. Omission Theorem.- 2.4. Interpretability Theorem.- 2.5. Every Injective Logical Operator is Invertible.- Exercise.- 3/Elimination of Quantifiers.- 3.1. Absolute Eliminant.- 3.2. (k,p)-Eliminant.- 3.3. Elimination Algorithms for the Chain of Rational Numbers and the Chain of Natural Numbers.- 3.4. Positive Dense Sum; Elimination of Quantifiers over the Sum of Rational or Real Numbers.- 3.5. Positive Discrete Divisible Sum; Elimination of Quantifiers over the Sum of Natural Numbers.- 3.6. Real Field; Elimination of Quantifiers over the Sum and Product of Algebraic Numbers or Real Numbers.- Exercises.- 4/Extension Theorems.- 4.1. Restrictive Sequence; (k,p)-Isomorphism and (k,p)-Identimorphism.- 4.2. Application to Logical Restriction.- 4.3. Projection Filter.- 4.4. Logical Extension Theorems.- 4.5. Theorem on Common Logical Extensions.- 4.6. Logical Morphism and Logical Embedding.- Exercises.- 5/Theories and Axiom Systems.- 5.1. Theory: Consistency; Intersection of Theories.- 5.1 Axiom System. Class of Models; Union-Theory, Finitely-Axiomatizable Theory, Saturated Theory.- 5.3. Complement of a Theory.- 5.4. Categoricity.- 5.5. Model-Saturated Theory.- Exercises.- 6/Pseudo-Logical Class; Interpretability of Theories; Expansion of a Theory; Axiomatizability.- 6.1. Pseudo-Logical Class.- 6.2. Interpretability of Theories.- 6.3. Canonical Expansion, Semantic Expansion, and Other Expansions.- 6.4. Axiomatizable Multirelations and Theories.- 6.5. Free Expansion.- Exercises.- 7/Ultraproduct.- 7.1. Family of Multirelations, Ultrafilter, Induced Logical Equivalence Class; Ultraproduct and Ultrapower; Maximal Case.- 7.2. Logical Equivalence Implies the Existence of Isomorphic Ultrapowers.- 7.3. Characterization of Logical Classes.- 7.4. Normal Ultraproduct; Definitions and Examples.- 7.5. Normal Ultraproducts and Logical Equivalence.- Exercises.- 8/Forcing.- 8.1. Generic Predicate; System: (+)-Forced and (?)-Forced Formulas.- 8.2. Elementary Properties.- 8.3. Forcing with Constraints.- 8.4. General Relation.- 8.5. Forcing and Deduction; Theory Forced by a Generic Predicate.- Exercises.- 9/Isomorphisms and Equivalences in Relation to the Calculus of Infinitely Long Formulas with Finite Quantifiers.- 9.1. ?-Isomorphism and ?-Equivalence.- 9.2. ?-Isomorphism and ?-Equivalence; Karpian Families.- 9.3. Automorphic Rank of a Multirelation.- 9.4. Multirelations with Denumerable Bases and ?-Isomorphisms.- 9.5. ?-Extension and ?-Interpretability.- 9.6. Infinite Logical Calculi and their Relation to Local Isomorphisms and Equivalences.- Proof of Lemmas Needed to Prove J. Robinson’s Theorem.- Closure of a Relation.- References.Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9789027705105 Course of Mathematical Logic: Volume 2: Model Theory: Synthese Library No. 69: 002 (R. Frac/Sse, R. Fraossi, R. Fraassa(c))
- 9789027705105 Course of Mathematical Logic: Volume 2: Model Theory: Synthese Library No. 69: 002 (R. Frac/Sse, R. Fraossi, R. Fraassa(c))
- 9789027702685 Course of Mathematical Logic: Volume I Relation and Logical Formula: 54 (Synthese Library, 54) (R. Fra?ss?)
- 9789027704030 Course of Mathematical Logic: Volume I Relation and Logical Formula (Fraisse, Roland)
- Course of Mathematical Logic. Vol. I: Relation and Logical Formula. Vol. II: Model Theory. (=Synthese Library; Vol. 69). [2 Vols.]. (Fraisse, Roland)
< naar Archief...