- 0 resultaten
laagste prijs: € 88,97, hoogste prijs: € 101,11, gemiddelde prijs: € 96,04
1
bestellen
bij AbeBooks.de
€ 99,26
verzending: € 0,001
bestellenGesponsorde link
R. Fraïssé:

Course of Mathematical Logic: Volume 2 Model Theory (Paperback) - pocketboek

1974, ISBN: 9027705100

[EAN: 9789027705105], Neubuch, [PU: Springer, Netherlands], Language: English. Brand new Book. This book is addressed primarily to researchers specializing in mathemat ical logic. It may … Meer...

NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) Book Depository hard to find, London, United Kingdom [63688905] [Rating: 5 (von 5)]
2
bestellen
bij AbeBooks.de
€ 99,26
verzending: € 0,601
bestellenGesponsorde link

R. Fraïssé:

Course of Mathematical Logic: Volume 2 Model Theory (Paperback) - pocketboek

1974, ISBN: 9027705100

[EAN: 9789027705105], Neubuch, [PU: Springer, Netherlands], Language: English. Brand new Book. This book is addressed primarily to researchers specializing in mathemat ical logic. It may … Meer...

NEW BOOK. Verzendingskosten: EUR 0.60 The Book Depository, London, United Kingdom [54837791] [Rating: 5 (von 5)]
3
Course of Mathematical Logic - R. Fraïssé
bestellen
bij BookDepository.com
€ 91,58
verzending: € 0,001
bestellenGesponsorde link
R. Fraïssé:
Course of Mathematical Logic - pocketboek

ISBN: 9789027705105

Paperback, [PU: Springer], 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 math… Meer...

Verzendingskosten:Versandkostenfrei. (EUR 0.00)
4
Course of Mathematical Logic Volume 2 Model Theory - Fraïssé, R.; Louvish, David (Übersetzung)
bestellen
bij Achtung-Buecher.de
€ 88,97
verzending: € 0,001
bestellenGesponsorde link
Fraïssé, R.; Louvish, David (Übersetzung):
Course of Mathematical Logic Volume 2 Model Theory - pocketboek

1974, ISBN: 9027705100

Softcover reprint of the original 1st ed. 1974 Kartoniert / Broschiert Mathematische Grundlagen, Philosophie: Logik, Equivalence; Lemma; compactnesstheorem; Forcing; mathematicallogic; … Meer...

Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
5
bestellen
bij Biblio.co.uk
$ 114,93
(ongeveer € 101,11)
verzending: € 10,561
bestellenGesponsorde link
R. Fraïssé, David Louvish (Translator):
Course of Mathematical Logic: Volume 2: Model Theory (Synthese Library) - pocketboek

1974, ISBN: 9789027705105

Springer, 1974-10-31. 1. Paperback. Used:Good., Springer, 1974-10-31, 0

Verzendingskosten: EUR 10.56 Ergodebooks

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: Synthese Library No. 69: 002


EAN (ISBN-13): 9789027705105
ISBN (ISBN-10): 9027705100
pocket book
Verschijningsjaar: 1974
Uitgever: Springer

Boek bevindt zich in het datenbestand sinds 2007-11-09T23:26:47+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2022-06-07T08:02:28+02:00 (Amsterdam)
ISBN/EAN: 9789027705105

ISBN - alternatieve schrijfwijzen:
90-277-0510-0, 978-90-277-0510-5


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: 0,360 kg
Taal: Engels
85,59 € (DE)
87,99 € (AT)
94,50 CHF (CH)
POD
XX, 198 p.

BC; 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; BB

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