Constructive definition of certain analytic sets of numbers
From MaRDI portal
Publication:3265667
DOI10.2307/2964572zbMath0091.01303OpenAlexW1980836075MaRDI QIDQ3265667
Publication date: 1959
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2964572
Related Items
Implication and analysis in classical Frege structures ⋮ Levels of truth ⋮ Error and Predicativity ⋮ Infinite objects in type theory ⋮ Bibliography of John Myhill ⋮ Some results concerning proofs of statements about programs ⋮ Abstraction in Fitch's Basic Logic ⋮ Predicativity and constructive mathematics ⋮ Lorenzen and Constructive Mathematics
Cites Work