Generalized geometric theories and set-generated classes

DOI10.1017/S0960129513000236zbMath1362.03056OpenAlexW2083134633MaRDI QIDQ5740664

Yasushi Sangu, Hajime Ishihara, Peter Aczel, Takako Nemoto

Publication date: 27 July 2016

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129513000236

Mathematics Subject Classification ID

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

Related Items (4)

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

Cites Work

• Unnamed Item
• Unnamed Item
• A predicative completion of a uniform space
• Topological inductive definitions
• Techniques of constructive analysis
• Constructivism in mathematics. An introduction. Volume I
• A course in constructive algebra
• Some points in formal topology.
• 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
• Constructive set theory
• The Relation Reflection Scheme
• On constructing completions

This page was built for publication: Generalized geometric theories and set-generated classes