Non-deterministic inductive definitions and fullness

DOI10.1515/9781501502620-010MaRDI QIDQ5221851zbMATH OpenOpenAlexFDO

Authors Hajime Ishihara, Takako Nemoto

Publication date 3 April 2020

Published in Concepts of Proof in Mathematics, Philosophy, and Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1515/9781501502620-010

zbMATH Keywords

constructive set theoryfullnessnon-deterministic inductive definition

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65)

Recommendations

• Non-deterministic inductive definitions
• scientific article; zbMATH DE number 2247249
• First order theories for nonmonotone inductive definitions: Recursively inaccessible and Mahlo
• scientific article; zbMATH DE number 65538
• scientific article; zbMATH DE number 4193663

Cited in

(8)

• Eliminating disjunctions by disjunction elimination
• Non-deterministic inductive definitions
• Equivalents of the finitary non-deterministic inductive definitions
• On the complexity of inductive definitions
• Eliminating disjunctions by disjunction elimination
• scientific article; zbMATH DE number 2247249 (Why is no real title available?)
• Computational inductive definability
• Nonstandard definability

This page was built for publication: Non-deterministic inductive definitions and fullness

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