Alta reperibilità
The Syntax and Semantics of Infinitary Languages
- Editore:
Springer Berlin Heidelberg
- Collana:
- Lecture Notes In Mathematics
- EAN:
9783540042426
- ISBN:
3540042423
- Pagine:
- 276
- Formato:
- Paperback
- Lingua:
- Tedesco
Acquistabile con
o la
Descrizione The Syntax and Semantics of Infinitary Languages
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.
Disponibile in 10-12 giorni
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti