Constructive definition of certain analytic sets of numbers

DOI10.2307/2964572zbMath0091.01303OpenAlexW1980836075MaRDI QIDQ3265667

John Myhill, Paul Lorenzen

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

zbMATH Keywords

philosophy and foundations of mathematics

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

• Unnamed Item
• Unnamed Item
• Hierarchies of number-theoretic predicates
• On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
• A simplification of basic logic
• Recursively enumerable sets of positive integers and their decision problems