bokomslag Model Theory for Modal Logic
Filosofi & religion

Model Theory for Modal Logic

K A Bowen

Pocket

1519:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 139 sidor
  • 2010
Syntactic Considerations.- Modal Structures and Morphisms.- Validity.- Completeness.- Lwenheim-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.

  • Författare: K A Bowen
  • Format: Pocket/Paperback
  • ISBN: 9789048183531
  • Språk: Engelska
  • Antal sidor: 139
  • Utgivningsdatum: 2010-12-30
  • Förlag: Springer