Intuitionistic weak arithmetic (original) (raw)
Related papers
Independence results for weak systems of intuitionistic arithmetic
MLQ, 2003
Weak Arithmetics and Kripke Models
MLQ, 2002
Classical and Intuitionistic Models of Arithmetic
Notre Dame Journal of Formal Logic 37, 1996, 452–461, 1996
An Independence Result for Intuitionistic Bounded Arithmetic
Journal of Logic and Computation, 2006
Model theory of bounded arithmetic with applications to independence results
Logic in Tehran, 2000
Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity
Logic and Logical Philosophy, 2019
On the Hierarchy of Intuitionistic Bounded Arithmetic
Journal of Logic and Computation, 2007
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1991
Some Weak Fragments of HA and Certain Closure Properties
Journal of Symbolic Logic, 2002
Unprovability of consistency statements in fragments of bounded arithmetic
Annals of Pure and Applied Logic, 1995
Existentially Closed Models in the Framework of Arithmetic
Journal of Symbolic Logic, 2016
Intuitionistic implication without disjunction
Renardel de Lavalette, Dick Jongh
Journal of Logic and Computation, 2012
Apal, 2002
Intuitionistic sets and numbers: small set theory and Heyting arithmetic
Archive for mathematical logic, 2024
A standard model of Peano arithmetic with no conservative elementary extension
Annals of Pure and Applied Logic, 2008
Journal of Symbolic Logic, 2003
On Weak Theories of Sets and Classes which are Based on Strict ∏11REFLECTION
Mathematical Logic Quarterly, 1985
Kripke models and intermediate logics
Publications of the Research Institute for Mathematical Sciences, 1970
On Herbrand consistency in weak arithmetic
Archive for Mathematical Logic, 2001
Weak Logics with Strict Implication
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1987
Proof Theory for Intuitionistic Strong L\"ob Logic
arXiv (Cornell University), 2020
On two questions about feasibly constructive arithmetic
MLQ, 2003
Studia Logica, 2018
THE POLYNOMIAL HIERARCHY AND INTUITIONISTIC BOUNDED ARITHMETIC
Decidable Kripke models of intuitionistic theories
Annals of Pure and Applied Logic, 1998
Existentially Closed Models and Conservation Results in Bounded Arithmetic
Journal of Logic and Computation, 2009
Set theory, 2006
Generalizations of Martin's Axiom, weak square, weak Chang's Conjecture, and a forcing axiom failure
arXiv (Cornell University), 2022
Two Easy Theories Whose Combination is Hard
1977
On the Provability Logic of Bounded Arithmetic
Rineke Verbrugge, Alessandro Berarducci
Annals of Pure and Applied Logic, 1993
Completeness theorems, incompleteness theorems and models of arithmetic
Transactions of the American Mathematical Society, 1978
Yablo’s Paradoxes in Non-arithmetical Setting
Filozofia Nauki, 2019
Annals of Pure and Applied Logic - APAL, 2002