Models and Sets : Proceedings of the Logic Colloquium held in Aachen, July 18 23, 1983 Part I
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in mathematics
1103 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Models and sets, proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, Part I, ed. by G. H. Müller and M. M. Richter, 1984, Berlin [etc.], Springer-Verlag, 1 vol. (VIII-484 p.), Lecture notes in mathematics, 3-540-13900-1 • Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983, Texte imprimé, 9783662201725 |
Taula de continguts:
- Filters and ultrafilters over definable subsets of admissible ordinals
- Superinfinitesimals and the calculus of the generalized riemann integral
- Point-picking games and HFD's
- On homomorphism types of superatomic interval Boolean algebras
- Dectdable theories of pseudo-Algebraically closed fields
- Definability in power series rings of nonzero characteristic
- Convexity properties and algebraic closure operators
- Remarks on finitely based logics
- Monadicity in topological pseudo-boolean algebras
- Finite extensions of finite groups
- Constructing choice sequences from lawless sequences of neighbourhood functions
- Partitions and homogeneous sets for admissible ordinals
- Elimination of quantifiers for the theory of Archimedean ordered divisible groups in a logic with Ramsey quantifiers
- A proof-theoretic approach to non standard analysis (continued)
- Interpretations and the model theory of the classical geometries
- On cantor-bendixson spectra containing (1,1) I
- Abstract model-theory and nets of C*-algebras: Noncommutative interpolation and preservation properties
- A contribution to nonstandard teratology
- Model- and substructure complete theories of ordered Abelian groups
- Quantifier elimination and decision procedures for valued fields
- On ? 3 1 .