3 options
Models and Sets : Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 Part I / edited by Gert H. Müller, Michael M. Richter.
Math/Physics/Astronomy Library QA3 .L28 v.1-999 470,523,830,849:2nd ed. v.1000-1722,1762,1781,1799-2099,2100-2192-2218 2219-2223-2258,2260-2271,2273-2274-2277,2279-2281,2283-2289,2291,2293-2294,2296,2298-2299,2300-2311,2313-2366,2368-2379,2381-2382 2385,2388-2389
Mixed Availability
LIBRA QA3 .L28 Scattered vols.
Mixed Availability
- Format:
- Book
- Series:
- Lecture Notes in Mathematics, 0075-8434 ; 1103.
- Lecture Notes in Mathematics, 0075-8434 ; 1103
- Language:
- English
- Subjects (All):
- Logic, Symbolic and mathematical.
- Mathematical Logic and Foundations.
- Local Subjects:
- Mathematical Logic and Foundations.
- Physical Description:
- 1 online resource (VIII, 488 pages).
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1984.
- System Details:
- text file PDF
- Contents:
- 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 .
- Other Format:
- Printed edition:
- ISBN:
- 9783540391159
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.