Non-Deterministic Inductive Definitions and Fullness

DOI10.1515/9781501502620-010zbMath1433.03124OpenAlexW2486861760MaRDI QIDQ5221851

Takako Nemoto, Hajime Ishihara

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)

Related Items

Eliminating disjunctions by disjunction elimination ⋮ ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION ⋮ Equivalents of the finitary non-deterministic inductive definitions

This page was built for publication: Non-Deterministic Inductive Definitions and Fullness