Book contents
- Frontmatter
- Preface
- Contents
- SURVEY ARTICLES
- RESEARCH ARTICLES
- The intuitionistic arithmetical hierarchy
- On solvable groups and rings definable in o-minimal structures
- Logical topologies and semantic completeness
- Valued fields and elimination of imaginaries
- Simple sets and ideals under m-reducibility
- Borel irreducibility between two large families of Borel equivalence relations
- Linear logic as a framework for specifying sequent calculus
- Kripke models of certain subtheories of Heyting Arithmetic
- From bounded structural rules to linear logic modalities
- A description of the non-sequential execution of Petri nets in partially commutative linear logic
- A very slow growing hierarchy for
- References
On solvable groups and rings definable in o-minimal structures
from RESEARCH ARTICLES
Published online by Cambridge University Press: 30 March 2017
Book contents
- Frontmatter
- Preface
- Contents
- SURVEY ARTICLES
- RESEARCH ARTICLES
- The intuitionistic arithmetical hierarchy
- On solvable groups and rings definable in o-minimal structures
- Logical topologies and semantic completeness
- Valued fields and elimination of imaginaries
- Simple sets and ideals under m-reducibility
- Borel irreducibility between two large families of Borel equivalence relations
- Linear logic as a framework for specifying sequent calculus
- Kripke models of certain subtheories of Heyting Arithmetic
- From bounded structural rules to linear logic modalities
- A description of the non-sequential execution of Petri nets in partially commutative linear logic
- A very slow growing hierarchy for
- References
Summary
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Chapter
- Information
- Logic Colloquium '99 , pp. 60 - 67Publisher: Cambridge University PressPrint publication year: 2004
References
[1] , Solvable groups definable in o-minimal structures, Preprint (submitted), 2000.
[2] , Structure theorems for o-minimal expansions of groups, Annals of Pure and Applied Logic, vol. 102 (2000), pp. 159-181.Google Scholar
[3] and , Cohomology theory in abstract groups I, Annals of Mathematics, vol. 48 (1947), pp. 51-78.Google Scholar
[4] and , Cohomology theory in abstract groups II, Annals of Mathematics, vol. 48 (1947), pp. 326-341.Google Scholar
[5] , , and , Permutation groups in o-minimal structures, Preprint, 1999.
[6] , A growth dichotomy for o-minimal expansions of ordered fields, Preprint, 1996.
[7] and , A growth dichotomy for o-minimal expansions of ordered groups, Logic colloquium 93 ( et al., editors), Oxford University Press, 1994, Preprint 1995.
[8] , Solvable groups of finite morley rank, Journal of Algebra, vol. 121 (1989), pp. 26- 39.Google Scholar
[9] , , and , Ongroups and rings definable in o-minimal expansions of real closed fields, The Bulletin of the London Mathematical Society, vol. 28 (1996), pp. 7-14.Google Scholar
[10] , , and , Linear groups definable in o-minimal structures, Preprint, 1999.
[11] , , and , Definably simple groups in o-minimal structures, Transactions of the American Mathematical Society, vol. 352 (2000), no. 10, pp. 4397-4419.Google Scholar
[12] , , and , Simple algebraic groups over real closed fields, Transactions of the American Mathematical Society, vol. 352 (2000), no. 10, pp. 4421-4450.Google Scholar
[13] and , A trichotomy theorem for o-minimal structures, Proceedings of the London Mathematical Society, vol. 77 (1998), pp. 481-523.Google Scholar
[14] and , Definable homomorphisms of abelian groups in o-minimal structures, Annals of Pure and Applied Logic, vol. 101 (1999), no. 1, pp. 1-27.Google Scholar
[15] and , Definable compacteness and definable subgroups of ominimal groups, The Journal of the London Mathematical Society, vol. 59 (1999), no. 2, pp. 769- 786.Google Scholar
[16] , On groups and fields definable in o-minimal structures, Journal of Pure and Applied Algebra, vol. 53 (1988), pp. 239-255.Google Scholar
[17] , One-dimensional groups over an o-minimal structure, Journal of Pure and Applied Algebra, vol. 53 (1991), pp. 269-277.Google Scholar
[18] , Euler characteristic in semialgebraic and other o-minimal groups, Journal of Pure and Applied Algebra, vol. 96 (1994), pp. 173-201.Google Scholar
[19] , Tame topology and o-minimal structures, Cambridge University Press, 1998.