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
Borel irreducibility between two large families of Borel equivalence relations
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. 100 - 110Publisher: Cambridge University PressPrint publication year: 2004
References
[1] , Analytic quotients: theory of liftings for quotients over analytic ideals on the integers, Memoirs of the AmericanMathematical Society, vol. 148 (2000), no. 702, pp. xvi+177.Google Scholar
[2] , Borel and Baire reducibility, Fundamenta Mathematicae, vol. 164 (2000), no. 1, pp. 61-69.Google Scholar
[3] and , A Borel reducibility theory for classes of countable structures, The Journal of Symbolic Logic, vol. 54 (1989), no. 3, pp. 894 - 914.Google Scholar
[4] , Classification and orbit equivalence relations, Mathematical surveys and monographs, vol. 75, American Mathematical Society, 2000.
[5] , Rigidity properties of Borel ideals on the integers, Topology and Applications, vol. 85 (1998), no. 1-3, pp. 195-205.Google Scholar
[6] , Actions of Polish groups and classification problems, Analysis and logic, London Mathematical Society Lecture Note Series, Cambridge University Press, 2001, to appear.
[7] , Analytic ideals, The Bulletin of Symbolic Logic, vol. 2 (1996), no. 3, pp. 339-348.Google Scholar
[8] , Analytic ideals and their applications, Annals of Pure and Applied Logic, vol. 99 (1999), no. 1-3, pp. 51-72.Google Scholar