Del 1103 - Lecture Notes in Mathematics

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

Part 1: Models and Sets

Häftad, Engelska, 1984

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

639 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1984-12-01
Mått155 x 235 x 27 mm
Vikt750 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Mathematics
Antal sidor488
Upplaga1984
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540139003

Tillhör följande kategorier

Matematikens grunder inom Naturvetenskap och teknik

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

KOMPASS Naturführer Pilze

Del 1103

KOMPASS Naturführer Pilze

Christine Jaitner

159 kr

Bitterschokolade

Del 1103

Bitterschokolade

Mirjam Pressler

129 kr

Knowledge and Systems Sciences

Del 1103

Knowledge and Systems Sciences

Jian Chen, Van Nam Huynh, Gia-Nhu Nguyen, Xijin Tang

709 kr

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

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

749 kr

Therapeutic Applications of Ribozymes and Riboswitches

Del 1103

Therapeutic Applications of Ribozymes and Riboswitches

Daniel Lafontaine, Audrey Dubé, Daniel LaFontaine

1 519 kr

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

Del 1104

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

M.M. Richter, E. Borger, Walter Oberschelp, B. Schinzel, W. Thomas, M. M. Richter, E. Börger, W. Oberschelp

639 kr

Proceedings of International Conference on Data, Electronics and Computing

Del 1103

Proceedings of International Conference on Data, Electronics and Computing

Nibaran Das, Ajoy Kumar Khan, Swagata Mandal, Ondrej Krejcar, Debotosh Bhattacharjee

2 909 kr

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

Del 1103

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

Xuzhu Dong, Li Cai

4 639 kr

Rewriting Techniques and Applications

Del 1103

Rewriting Techniques and Applications

Harald Ganzinger

729 kr

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

Del 1103

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

Xuzhu Dong, Li Cai

4 639 kr