Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983
Springer Berlin (Verlag)
978-3-540-13900-3 (ISBN)
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 .
| Erscheint lt. Verlag | 1.12.1984 |
|---|---|
| Reihe/Serie | Lecture Notes in Mathematics |
| Zusatzinfo | VIII, 488 p. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 694 g |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| Schlagworte | Algebra • Boolesche Algebra /Bericht • Calculus • Cantor • commutative property • Finite • Function • Geometry • Modell (Math. Logik) /Bericht • model Theory • Morphism • ordinal • Proof |
| ISBN-10 | 3-540-13900-1 / 3540139001 |
| ISBN-13 | 978-3-540-13900-3 / 9783540139003 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
