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
The intuitionistic arithmetical hierarchy
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. 51 - 59Publisher: Cambridge University PressPrint publication year: 2004
References
[1] , Fragments of Heyting arithmetic, The Journal of Symbolic Logic, vol. 65 (2000), pp. 1223-1240.Google Scholar
[2] and (editors),Metamathematics of first-order arithmetic, Springer, 1993.
[3] , Relative constructivity, The Journal of Symbolic Logic, vol. 63 (1998), no. 4, pp. 1218-1238.Google Scholar
[4] , Syntactic translations and provably recursive functions, The Journal of Symbolic Logic, vol. 50 (1985), no. 3, pp. 682-688.Google Scholar
[5] and , Constructivism in mathematics. Vol. I, North-Holland Publishing Co., Amsterdam, 1988.
[6] (editor), Metamathematical investigation of intuitionistic arithmetic and analysis, Lecture Notes in Mathematics, no. 344, Springer, Heidelberg/New York, 1973.
[7] , Fragments of HA based on Σ1-induction, Archive for Mathematical Logic, vol. 37 (1997), no. 1, pp. 37-49.Google Scholar
- 4
- Cited by