Book contents
- Frontmatter
- Contents
- Preface
- Participants Photograph
- Generic absoluteness for Σ1 formulas and the continuum problem
- Axioms of generic absoluteness
- Generalised dynamic ordinals — universal measures for implicit computational complexity
- The Worm principle
- “One is a lonely number”: logic and communication
- Computable versions of the uniform boundedness theorem
- Symmetry of the universal computable function: A study of its automorphisms, homomorphisms and isomorphic embeddings
- PCF theory and Woodin cardinals
- Embedding finite lattices into the computably enumerable degrees — a status survey
- Dimension theory inside a homogeneous model
- Reals which compute little
- Bisimulation invariance and finite models
- Choice principles in constructive and classical set theories
- Ash's theorem for abstract structures
- Martin-Löf random and PA-complete sets
- Learning and computing in the limit
- References
Dimension theory inside a homogeneous model
Published online by Cambridge University Press: 31 March 2017
Book contents
- Frontmatter
- Contents
- Preface
- Participants Photograph
- Generic absoluteness for Σ1 formulas and the continuum problem
- Axioms of generic absoluteness
- Generalised dynamic ordinals — universal measures for implicit computational complexity
- The Worm principle
- “One is a lonely number”: logic and communication
- Computable versions of the uniform boundedness theorem
- Symmetry of the universal computable function: A study of its automorphisms, homomorphisms and isomorphic embeddings
- PCF theory and Woodin cardinals
- Embedding finite lattices into the computably enumerable degrees — a status survey
- Dimension theory inside a homogeneous model
- Reals which compute little
- Bisimulation invariance and finite models
- Choice principles in constructive and classical set theories
- Ash's theorem for abstract structures
- Martin-Löf random and PA-complete sets
- Learning and computing in the limit
- References
- Type
- Chapter
- Information
- Logic Colloquium '02 , pp. 230 - 260Publisher: Cambridge University PressPrint publication year: 2006
References
[1] , , and , Totally categorical groups and rings Journal of Algebra, vol. 57 (1979), no. 2, pp. 407–440.
[2] , Dependence Relations on Homogeneous Groups and Homogeneous Expansions of Hilbert Spaces, Ph.D. thesis, Notre Dame, 2002.
[3] and , Simple homogeneous models Journal of the American Mathematical Society, vol. 16 (2003), pp. 92–121.
[4] and , The classification theory of excellent classes The Journal of Symbolic Logic, vol. 54 (1989), pp. 1359–1381.
[5] and , Shelah's stability and homogeneity spectrum in finite diagrams Archive for Mathematical Logic, vol. 41 (2002), no. 1, pp. 1–31.
[6] , On nonstructure of elementary submodels of an unsuperstable homogeneous structure Mathematical Logic Quarterly, vol. 43 (1997), pp. 134–142.
[7] , Generalizing Morley's theorem Mathematical Logic Quarterly, vol. 44 (1998), pp. 176–184.
[8] , On non-structure of elementary submodels of a stable homogeneous structure Fundamenta Mathematicae, vol. 156 (1998), pp. 167–182.
[9] , Generic group actions, preprint.
[10] and , A rank for the class of elementary submodels of a superstable homogeneous structure The Journal of Symbolic Logic, vol. 67 (2002), no. 4, pp. 1469–1482.
[11] , , and , Interpreting groups and fields in some nonelementary classes Journal of Mathematical Logic, vol. 4 (2005), pp. 1–47.
[12] and , On the number of elementary submodels of an unsuperstable homogeneous structure Mathematical Logic Quaterly, vol. 44 (1998), no. 3, pp. 354–358.
[13] , Strong splitting in stable homogeneous models Annals of Pure and Applied Logic, vol. 103 (2000), pp. 201–228.
[14] , Main gap for locally saturated elementary submodels of a homogeneous structure The Journal of Symbolic Logic, vol. 66 (2001), no. 3, pp. 1286–1302.
[15] , A Quick Introduction to Banach Space Model Theory, Lectures notes. Carnegie Mellon University.
[16] , Model Theory for Infinitary Logic, North-Holland, Amsterdam, 1971.
[17] , Forking in simple unstable theories Journal of the London Mathematical Society, vol. 57 (1998), no. 2, pp. 257–267.
[18] and , Simple theories Annals of Pure and Applied Logic, vol. 88 (1997), pp. 149–164.
[19] and , From stability to simplicity The Bulletin of Symbolic Logic, vol. 4 (1998), no. 1, pp. 17–36.
[20] , Dependence relations in nonelementary classes, preprint.
[21] , Homogeneous models of stable theories Siberian Advances in Mathematics, vol. 3 (1993), no. 3, pp. 1–33.
[22] , Dependence Relations in Some Nonelementary Classes, Ph.D. thesis, Carnegie Mellon University, 1998.
[23] , Ranks and pregeometries in finite diagrams Annals of Pure and Applied Logic, vol. 106 (2000), no. 1, pp. 49–83.
[24] , Homogeneous model theory; existence and categoricity Logic and Algebra (Yi Zhang, editor), Contemporary Mathematics, vol. 302, AMS, 2002, pp. 149–164.Google Scholar
[25] , Categoricity and U-rank in excellent classes The Journal of Symbolic Logic, vol. 68 (2003), no. 4, pp. 1317–1336.
[26] , Abstract group configuration, preprint.
[27] , A prime minimal model with an infinite set of indiscernibles Israel Journal of Mathematics, vol. 11 (1972), pp. 180–183.
[28] , Forking in existentially closed structures Connections between Model Theory and Algebraic and Analytic Geometry (Angus Macintyre, editor), quaderni di matematica, University of Naples, 2001.
[29] , A natural finite equivalence relation definable in low theories The Journal of Symbolic Logic, vol. 65 (2000), no. 4, pp. 1481–1490.
[30] , Finite diagrams stable in power Annals of Pure and Applied Logic, vol. 2 (1970), pp. 69–118.
[31] , Acombinatorial problem, stability and order in infinitary languages Pacific Journal of Mathematics, vol. 41 (1972), pp. 246–261.
[32] , Categoricity in ℵ1 of sentences in Lω1ω(Q), Israel Journal of Mathematics, vol. 20 (1975), pp. 127–148.
[33] , The lazy model theorist's guide to stability Proceedings of a Symposium in Louvain (P. Henrand, editor), Logique et Analyse, no. 71, March 1975, pp. 241–308.Google Scholar
[34] , Simple unstable theories Annals of Mathematical Logic, vol. 19 (1980), pp. 177–203.
[35] , Classification theory for nonelementary classes. I. the number of uncountable models of ψϵ Lω1, ω. part A Israel Journal of Mathematics, vol. 46 (1983), pp. 212–240.
[36] , Classification theory for nonelementary classes. I. the number of uncountable models of ψϵ Lω1, ω. part B Israel Journal of Mathematics, vol. 46 (1983), pp. 241–273.
[37] , Classification Theory, revised ed., North-Holland, Amsterdam, 1990.
[38] , Hereditarily transitive groups and quasi-urbanik structures American Mathematical Society Translations, vol. 195 (1999), no. 2, pp. 165–186.
[39] , Analytic and pseudo-analytic structures Logic Colloquium 2000 (R. Cori et al., editors), Lecture Notes in Logic, vol. 19, ASL and AK Peters, 2005, pp. 392–408.Google Scholar
[40] , Covers of themultiplicative group of an algebraically closed field of characteristic 0,preprint.