Verkauf durch Sack Fachmedien

Richter / Müller

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983

Part 1: Models and Sets

Medium: Buch
ISBN: 978-3-540-13900-3
Verlag: Springer Berlin Heidelberg
Erscheinungstermin: 01.12.1984
Lieferfrist: bis zu 10 Tage

Springer Book Archives


Produkteigenschaften


  • Artikelnummer: 9783540139003
  • Medium: Buch
  • ISBN: 978-3-540-13900-3
  • Verlag: Springer Berlin Heidelberg
  • Erscheinungstermin: 01.12.1984
  • Sprache(n): Englisch
  • Auflage: 1984
  • Serie: Lecture Notes in Mathematics
  • Produktform: Kartoniert
  • Gewicht: 1530 g
  • Seiten: 488
  • Format (B x H x T): 155 x 235 x 27 mm
  • Ausgabetyp: Kein, Unbekannt
Autoren/Hrsg.

Herausgeber

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.