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

Part 1: Models and Sets

AvG. H. Müller,M. M. Richter

Häftad, Engelska, 1984

Del 1103 i serien Lecture Notes in Mathematics

500 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1984-12-01
Mått:155 x 235 x 27 mm
Vikt:750 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Mathematics
Antal sidor:488
Upplaga:1984
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540139003

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik

Innehållsförteckning

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 .

Du kanske också är intresserad av

10% rabatt på allt

L'amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

Del 1103

KOMPASS Naturführer Pilze

Christine Jaitner

Inbunden, 2025

109 kr

Del 1103

Muse Cells

Mari Dezawa

Inbunden, 2018

1 811 kr

Helmut Venrath, Paul Endler, Marta Pirlet, Karl Heinz Trippe, Günter Sander - Über eine neue Methode der regionalen Ventilationsanalyse mit Hilfe des radioaktiven Edelgases Xenon 133 (Isotopenthorakographie), Häftad

Del 1103

Über eine neue Methode der regionalen Ventilationsanalyse mit Hilfe des radioaktiven Edelgases Xenon 133 (Isotopenthorakographie)

Helmut Venrath, Paul Endler, Marta Pirlet, Karl Heinz Trippe, Günter Sander

Häftad, 1962

587 kr

Del 1103

Modelling Hunter-Gatherer Settlement Patterns

Michael Pickering

Häftad, 2003

1 099 kr

Del 1103

Proceedings of 2023 4th International Symposium on Insulation and Discharge Computation for Power Equipment (IDCOMPU2023)

Xuzhu Dong, Li Cai

Häftad, 2025

3 080 kr

Del 1103

Proceedings of 2023 4th International Symposium on Insulation and Discharge Computation for Power Equipment (IDCOMPU2023)

Xuzhu Dong, Li Cai

Inbunden, 2023

3 080 kr

Del 1103

Advanced Intelligent Systems for Sustainable Development (AI2SD’2019)

Mostafa Ezziyyani

Häftad, 2020

2 262 kr