Book contents
- Frontmatter
- Contents
- Introduction
- Colloquium Program
- TUTORIAL
- RESEARCH ARTICLES
- Indestructibility and strong compactness
- Some applications of regularmarkers
- Has the continuumhypothesis been settled?
- Geometry of interaction IV: the feedback equation
- On local modularity in homogeneous structures
- Descriptive set theory and uncountable model theory
- Decidable properties of logical calculi and of varieties of algebras
- Stabilization — an alternative to double-negation translation for classical natural deduction
- Definability and reducibility in higher types over the reals
- Predicativity problems in point-free topology
- Rank inequalities in the theory of differentially closed fields
- Consistency and games— in search of new combinatorial principles
- Realizability for constructive Zermelo-Fraenkel set theory
- On long EF-equivalence in non-isomorphic models
- The theory of is undecidable
- Cocovering and set forcing
- References
On local modularity in homogeneous structures
from RESEARCH ARTICLES
Published online by Cambridge University Press: 30 March 2017
Book contents
- Frontmatter
- Contents
- Introduction
- Colloquium Program
- TUTORIAL
- RESEARCH ARTICLES
- Indestructibility and strong compactness
- Some applications of regularmarkers
- Has the continuumhypothesis been settled?
- Geometry of interaction IV: the feedback equation
- On local modularity in homogeneous structures
- Descriptive set theory and uncountable model theory
- Decidable properties of logical calculi and of varieties of algebras
- Stabilization — an alternative to double-negation translation for classical natural deduction
- Definability and reducibility in higher types over the reals
- Predicativity problems in point-free topology
- Rank inequalities in the theory of differentially closed fields
- Consistency and games— in search of new combinatorial principles
- Realizability for constructive Zermelo-Fraenkel set theory
- On long EF-equivalence in non-isomorphic models
- The theory of is undecidable
- Cocovering and set forcing
- References
- Type
- Chapter
- Information
- Logic Colloquium '03 , pp. 118 - 132Publisher: Cambridge University PressPrint publication year: 2006
References
[Hr] , Locally modular regular types, Classification theory (, editor), Springer-Verlag, Berlin, 1985.
[Hy1] , Groups acting on geometries, Logic and algebra, Proceedings of conferences on logic and algebra 2000–2001 (, editor), ContemporaryMathematics, vol. 302, 2002, pp. 221–233.
[Hy2] , Finiteness of U-rank implies simplicity in homogeneous structures,Mathematical Logic Quarterly, vol. 49 (2003), pp. 576–578.Google Scholar
[Hy3] , Finitely generated substructures of a homogeneous structure, Mathematical Logic Quarterly, vol. 50 (2004), pp. 77–98.Google Scholar
[HLS] , , and , Interpreting groups and fields in some nonelementary classes, Journal ofMathematical Logic, to appear.
[HS1] and , Strong splitting in stable homogeneous models, Annals of Pure and Applied Logic, vol. 103 (2000), pp. 201–228.Google Scholar
[HS2] and ,Main gap for locally saturated elementary submodels of a homogeneous structure, The Journal of Symbolic Logic, vol. 66 (2001), pp. 1286–1302.Google Scholar
[Pi] , Geometric stability theory, Oxford Logic Guides, vol. 32, Clarendon Press, Oxford, 1996.
[Zi1] , Structural properties of models of1-categorical theories, Logic, methodology and philosophy of science VII, North-Holland, Amsterdam, 1986, pp. 115–128.Google Scholar
[Zi2] , Hereditarily transitive groups and quasi-urbanic structures, AmericanMathematical Society Translations, vol. 195 (1999), pp. 165–186.Google Scholar