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
Kripke models of certain subtheories of Heyting Arithmetic
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. 136 - 142Publisher: Cambridge University PressPrint publication year: 2004
References
[1] , , and , Intuitionistic axiomatization for bounded extension Kripke models, Technical report, Institute for Studies in Theoretical Physics andMathematics, Teheran, 1999.
[2] , Intuitionistic validity in T-normal Kripke structures, Annals of Pure and Applied Logic, vol. 59 (1993), pp. 159-173.Google Scholar
[3] , On the structure of Kripke models ofHeyting arithmetic,Mathematical Logic Quarterly, vol. 39 (1993), pp. 531-538.Google Scholar
[4] , Induction schemata valid in Kripke models of arithmetical theories, Reports on Mathematical Logic, vol. 33 (1999), pp. 111-125.Google Scholar
[5] , Application of Kripke models, Metamathematical investigation of intuitionistic arithmetic and analysis (, editor), Springer, 1973.
[6] and , Constructivism in mathematics. An introduction, Studies in Logic, vol. 121, 123, North-Holland, 1988.
[7] , Submodels of Kripke models, Logic Group Preprint Series 189, Utrecht University, 1998.
[8] and , Some non-HA models, II, unpublished.
[9] , Fragments of HA based on Σ1-induction, Archive for Mathematical Logic, vol. 37 (1997), pp. 37-49.Google Scholar
[10] , Constructing Kripke models of certain fragments of Heyting's arithmetic, Publications de l'Institute Mathématique, Nouvelle Série, vol. 63(77) (1998), pp. 1-8.Google Scholar