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…
Mehr
CHF 65.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
- ISBN: 978-3-540-04242-6
- EAN: 9783540042426
- Produktnummer: 3414071
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 1968
- Seitenangabe: 276 S.
- Masse: H23.5 cm x B15.5 cm x D1.4 cm 423 g
- Auflage: 1968
- Abbildungen: Paperback
- Gewicht: 423
2 weitere Werke von Jon (Hrsg.) Barwise:
Bewertungen
Anmelden