On the Σ10-fragments of the Kreisel-Putnam axiom and two variants of the linearity axiom in intuitionistic arithmetic and analysis.
Saved in:
| Title: | On the Σ10-fragments of the Kreisel-Putnam axiom and two variants of the linearity axiom in intuitionistic arithmetic and analysis. |
|---|---|
| Authors: | Fujiwara, Makoto1, makotofujiwara@rs.tus.ac.jp |
| Source: | Archive for Mathematical Logic; Jun2026, Vol. 65 Issue 5, p675-690, 16p |
| Database: | Applied Science & Technology Source |
| ISSN: | 09335846 |
|---|---|
| DOI: | 10.1007/s00153-026-01017-3 |
