Constructive definition of certain analytic sets of numbers

DOI10.2307/2964572MaRDI QIDQ3265667zbMATH OpenOpenAlexFDO

Authors Paul Lorenzen, John Myhill

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

Cites work

• A simplification of basic logic
• Hierarchies of number-theoretic predicates
• scientific article; zbMATH DE number 3112788 (Why is no real title available?)
• scientific article; zbMATH DE number 3238610 (Why is no real title available?)
• On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
• Recursively enumerable sets of positive integers and their decision problems

Cited in

(9)

• Implication and analysis in classical Frege structures
• Bibliography of John Myhill
• Levels of truth
• Predicativity and constructive mathematics
• Some results concerning proofs of statements about programs
• Error and predicativity
• Lorenzen and constructive mathematics
• Abstraction in Fitch's basic logic
• Infinite objects in type theory

This page was built for publication: Constructive definition of certain analytic sets of numbers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3265667)