Equivalents of the finitary non-deterministic inductive definitions

DOI10.1016/J.APAL.2019.05.005OpenAlexW2921100467MaRDI QIDQ2311215

Tatsuji Kawai, Ayana Hirata, Takako Nemoto, Hajime Ishihara

Publication date: 10 July 2019

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1903.05852

zbMATH Keywords

constructive set theoryformal topologybasic pairnon-deterministic inductive definitionset-generated class

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) Frames, locales (06D22) Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
• Inductively generated formal topologies.
• Weak subobjects and the epi-monic completion of a category.
• Non-deterministic inductive definitions
• Quotient topologies in constructive set theory and type theory
• Aspects of general topology in constructive set theory
• Maximal and partial points in formal spaces
• Non-Deterministic Inductive Definitions and Fullness
• Generalized geometric theories and set-generated classes
• Completeness and cocompleteness of the categories of basic pairs and concrete spaces

This page was built for publication: Equivalents of the finitary non-deterministic inductive definitions