✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 367.705 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Model Theory for Modal Logic

von K. A. Bowen
Softcover - 9789048183531
106,99 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 2 Tagen.
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Weitere Formate

Hardcover - 9789027709295
106,99 €

Autorenfreundlich Bücher kaufen?!

Weitere Formate

Hardcover - 9789027709295
106,99 €

Beschreibung

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.

Kripke Models for Modal Predicate Calculi

Kripke Models for Modal Predicate Calculi

Details

Verlag Springer Netherland
Ersterscheinung 30. Dezember 2010
Maße 22.9 cm x 15.2 cm
Gewicht 231 Gramm
Format Softcover
ISBN-13 9789048183531
Auflage 1979
Seiten 139

Schlagwörter

Herstellerinformationen +