Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983
Part 1: Models and Sets
(Sprache: Englisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch
48.10 €
Produktdetails
Produktinformationen zu „Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 “
Klappentext zu „Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 “
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 .
Inhaltsverzeichnis zu „Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 “
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 .
Bibliographische Angaben
- 1984, 500 Seiten, Maße: 15,5 x 23,5 cm, Taschenbuch, Englisch
- Herausgegeben: M. M. Richter, G. H. Müller
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540139001
- ISBN-13: 9783540139003
- Erscheinungsdatum: 01.12.1984
Sprache:
Englisch
Kommentar zu "Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983"
0 Gebrauchte Artikel zu „Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983".
Kommentar verfassen