Constructive definition of certain analytic sets of numbers
From MaRDI portal
Publication:3265667
DOI10.2307/2964572zbMath0091.01303MaRDI 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
Abstraction in Fitch's Basic Logic, Implication and analysis in classical Frege structures, Bibliography of John Myhill, Levels of truth, Some results concerning proofs of statements about programs, Error and Predicativity
Cites Work