Autorenfreundlich Bücher kaufen?!
Beschreibung
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.
Details
| Verlag | Springer Berlin |
| Ersterscheinung | 01. Januar 1968 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 423 Gramm |
| Format | Softcover |
| ISBN-13 | 9783540042426 |
| Seiten | 270 |
Schlagwörter
Herstellerinformationen
Bekannt durch
