bokomslag The Syntax and Semantics of Infinitary Languages
Data & IT

The Syntax and Semantics of Infinitary Languages

Jon Barwise

Pocket

689:-

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

  • 270 sidor
  • 1968
Implicit definability and compactness in infinitary languages.- Some remarks on the model theory of infinitary languages.- Remarks on the theory of geometrical constructions.- Note on admissible ordinals.- An algebraic proof of the barwise compactness theorem.- Formulas with linearly ordered quantifiers.- Some problems in group theory.- Choice of infinitary languages by means of definability criteria; Generalized recursion theory.- Definability, automorphisms, and infinitary languages.- The hanf number for complete sentences.- Quantified algebras.- Normal derivability in classical logic.- A determinate logic.- (?1, ?) properties of unions of models.

  • Författare: Jon Barwise
  • Format: Pocket/Paperback
  • ISBN: 9783540042426
  • Språk: Engelska
  • Antal sidor: 270
  • Utgivningsdatum: 1968-01-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K