Vai al contenuto principale della pagina
Titolo: |
Models and sets : proceedings of the logic colloquium held in Aachen, July 18-23, 1983 / / edited by G. H. Müller, M. M. Richter
![]() |
Pubblicazione: | Berlin, Germany : , : Springer, , [1984] |
©1984 | |
Edizione: | 1st ed. 1984. |
Descrizione fisica: | 1 online resource (VIII, 488 p.) |
Disciplina: | 511.3 |
Soggetto topico: | Logic, Symbolic and mathematical |
Persona (resp. second.): | RichterMichael M. <1938-> |
MüllerG. H <1923-> (Gert Heinz) | |
Note generali: | Bibliographic Level Mode of Issuance: Monograph |
Nota di contenuto: | 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 . |
Titolo autorizzato: | Models and sets ![]() |
ISBN: | 3-540-39115-0 |
Formato: | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 996466854103316 |
Lo trovi qui: | Univ. di Salerno |
Opac: | Controlla la disponibilità qui |