On the $$\Sigma ^0_1$$-fragments of the Kreisel-Putnam axiom and two variants of the linearity axiom in intuitionistic arithmetic and analysis

Archive for Mathematical Logic 2026

View at publisher

Authors: Makoto Fujiwara

DOI: 10.1007/s00153-026-01017-3

Cited by: 1

References: 16

Fields of Study & Subjects

Computability Logic AI Algorithms Mathematical and Theoretical Analysis Advanced Algebra and Logic

References 16