Related references
Note: Only part of the references are listed.Localizing finite-depth Kripke models
Mojtaba Mojtahedi
LOGIC JOURNAL OF THE IGPL (2019)
Forcing and satisfaction in Kripke models of intuitionistic arithmetic
Maryam Abiri et al.
LOGIC JOURNAL OF THE IGPL (2019)
From forcing to satisfaction in Kripke models of intuitionistic predicate logic
Maryam Abiri et al.
LOGIC JOURNAL OF THE IGPL (2018)
An introduction to basic arithmetic
Mohammad Ardeshir et al.
LOGIC JOURNAL OF THE IGPL (2008)
Partially-elementary extension Kripke models: A characterization and applications
Tomasz Polacik
LOGIC JOURNAL OF THE IGPL (2006)
Sigma(n)-bounding and Delta(n)-induction
TA Slaman
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY (2004)
Intuitionistic axiomatizations for bounded extension Kripke models
M Ardeshir et al.
ANNALS OF PURE AND APPLIED LOGIC (2003)
H-theories, fragments of HA and PA-normality
M Moniri
ARCHIVE FOR MATHEMATICAL LOGIC (2002)