Willkommen. Schön, sind Sie da!
Mein Ex Libris
DEFR
KontaktGeschenkefinderGutscheineFirmenkundschaftFilialen
0
Erweiterte Suche
☄️10% auf sofort versandbereite Artikel
Jetzt profitieren

Model Theory for Modal Logic

Von:
K. A. Bowen

Beschreibung

Zur Zeit liegt uns keine Inhaltsangabe vor. Klappentext Zur Zeit liegt uns keine Inhaltsangabe vor. Inhalt Syntactic Considerations.- Modal Structures and Morphisms.- Validity.- Completeness.- Löwenheim-Skolem Theorems.- Ultraproducts.- Ultrafilter Pairs and ...

Format auswählen

E-Book (pdf)
CHF118.90
Fester Einband
CHF121.20
Kartonierter Einband
CHF155.20
CHF118.90
Download steht sofort bereit 
Kein Rückgaberecht 
10% auf sofort versandbereite Artikel

Wird oft zusammen gekauft

Andere Kunden kauften auch

Beschreibung

Zur Zeit liegt uns keine Inhaltsangabe vor.


Klappentext

Zur Zeit liegt uns keine Inhaltsangabe vor.


Inhalt

Syntactic Considerations.- Modal Structures and Morphisms.- Validity.- Completeness.- Löwenheim-Skolem Theorems.- Ultraproducts.- Ultrafilter Pairs and Elementary Embeddings.- Direct Limits.- Model Extensions.- Inductive Theories.- Joint Consistency and Interpolation.- Model Completeness.- Finite Forcing.- Forcing and Model Completions.- Omitting Types and a Two-Cardinal Theorem.

Produktinformationen

Titel:
Model Theory for Modal Logic
Untertitel:
Kripke Models for Modal Predicate Calculi
Autor:
K. A. Bowen
EAN:
9789401576420
Format:
E-Book (pdf)
Hersteller:
Springer Netherlands
Veröffentlichung:
29.06.2013
Digitaler Kopierschutz:
Wasserzeichen
Dateigrösse:
10.44 MB
Anzahl Seiten:
139

Mehr entdecken: E-Books Englisch

Belletristik & Unterhaltung, Diverses, Geisteswissenschaften, Kunst, Musik, IT & Internet, Naturwissenschaften, Medizin, Informatik, Technik, Ratgeber, Reise, Sachbuch, Schule und Lernen, Sozialwissenschaften, Recht, Wirtschaft