Liebe Besucherinnen und Besucher,

heute ab 15 Uhr feiern wir unser Sommerfest und sind daher nicht erreichbar. Ab morgen sind wir wieder wie gewohnt für Sie da. Wir bitten um Ihr Verständnis – Ihr Team von Sack Fachmedien

Müller / Richter | Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 | E-Book | sack.de
E-Book

E-Book, Englisch, Band 1103, 488 Seiten, eBook

Reihe: Lecture Notes in Mathematics

Müller / Richter Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983

Part 1: Models and Sets
Erscheinungsjahr 2006
ISBN: 978-3-540-39115-9
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Part 1: Models and Sets

E-Book, Englisch, Band 1103, 488 Seiten, eBook

Reihe: Lecture Notes in Mathematics

ISBN: 978-3-540-39115-9
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Müller / Richter Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Müller, G. H.
Richter, M. M.

Weitere Infos & Material

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 .

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.