- 0 resultaten
laagste prijs: € 74,74, hoogste prijs: € 111,22, gemiddelde prijs: € 96,08
1
Course of Mathematical Logic Vol. 2 : Model Theory by Roland Fraïssé - Roland Fraïssé
bestellen
bij BetterWorldBooks.com
€ 78,49
bestellenGesponsorde link
Roland Fraïssé:

Course of Mathematical Logic Vol. 2 : Model Theory by Roland Fraïssé - gebruikt boek

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...

used in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
2
Course of Mathematical Logic Volume 2 Model Theory - Fraïssé, R.; Louvish, David (Übersetzung)
bestellen
bij Achtung-Buecher.de
€ 111,22
verzending: € 0,001
bestellenGesponsorde link

Fraïssé, R.; Louvish, David (Übersetzung):

Course of Mathematical Logic Volume 2 Model Theory - gebonden uitgave, pocketboek

1974, ISBN: 9027702691

1974 Gebundene Ausgabe Logik, Philosophie / Logik, Mathematische Grundlagen, Philosophie: Logik, Equivalence; Lemma; compactnesstheorem; Forcing; mathematicallogic; Modeltheory; proof; … Meer...

Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
3
bestellen
bij AbeBooks.de
€ 108,96
verzending: € 39,671
bestellenGesponsorde link
Fraisse, R and David Louvish:
Course of Mathematical Logic: Volume 2: Model Theory - eerste uitgave

1974

ISBN: 9027702691

gebonden uitgave

[EAN: 9789027702692], [PU: Kluwer Academic Publishers], MATHEMATICS, Mathematics|General, NEAR FINE. X-LIB BUT PRISTINE! Very Clean, Unmarked Hardcover w/NO tears, stains, creases, underl… Meer...

Verzendingskosten: EUR 39.67 Bibliohound, carlsbad, CA, U.S.A. [356495] [Rating: 4 (von 5)]
4
bestellen
bij alibris.co.uk
€ 74,74
bestellenGesponsorde link
R. Fraïssé:
Course of Mathematical Logic: Volume 2 Model Theory: Model Theory V. 2 (Synthese Library) - gebonden uitgave, pocketboek

1974, ISBN: 9789027702692

Hard cover, Volume 2. This is an ex-library book and may have the usual library/used-book markings inside. This book has hardback covers. In fair condition, suitable as a study copy. No d… Meer...

Verzendingskosten:exclusief verzendingskosten Lincoln, Anybook Ltd.
5
Course of Mathematical Logic - R. Fraïssé
bestellen
bij Hugendubel.de
€ 106,99
verzending: € 0,001
bestellenGesponsorde link
R. Fraïssé:
Course of Mathematical Logic - gebonden uitgave, pocketboek

ISBN: 9027702691

Course of Mathematical Logic ab 106.99 € als gebundene Ausgabe: Volume 2 Model Theory. Auflage 1974. Aus dem Bereich: Bücher, Wissenschaft, Philosophie, Medien > Bücher, Springer Netherlands

Nr. 4048237. Verzendingskosten:, , DE. (EUR 0.00)

1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.
Bijzonderheden over het boek

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 2022-07-13T10:57:01+02:00 (Amsterdam)
ISBN/EAN: 9789027702692

ISBN - alternatieve schrijfwijzen:
90-277-0269-1, 978-90-277-0269-2


Gegevens van de uitgever

Auteur: R. Fraïssé
Titel: Synthese Library; Course of Mathematical Logic - Studies in Epistemology, Logic, Methodology, and Philosophy of Science; Volume 2 Model Theory
Uitgeverij: Springer; Springer Netherland
198 Bladzijden
Verschijningsjaar: 1974-10-31
Dordrecht; NL
Vertaler: David Louvish
Gewicht: 1,090 kg
Taal: Engels
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
POD
XX, 198 p.

BB; Book; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; Equivalence; Lemma; compactness theorem; forcing; logic; mathematical logic; model theory; proof; ultrapower; ultraproduct; B; Logic; Mathematical Logic and Foundations; Logic; Mathematical Logic and Foundations; Religion and Philosophy; Mathematik: Logik; Mathematische Grundlagen; BC; EA

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.

< naar Archief...