Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
From MaRDI portal
(Redirected from Publication:5060191)
Recommendations
- A realizability semantics for inductive formal topologies, Church's thesis and axiom of choice
- scientific article; zbMATH DE number 6611831
- scientific article; zbMATH DE number 4124576
- scientific article; zbMATH DE number 4061916
- scientific article; zbMATH DE number 1107780
- INDUCTIVE AND PROJECTIVE TOPOLOGIES. SUFFICIENT SETS AND REPRESENTING SYSTEMS
- The Axiom of Choice, Fixed Point Theorems, and Inductive Ordered Sets
- Indexed induction and coinduction, fibrationally
- Indexed induction and coinduction, fibrationally
- Well-ordering and choice in toposes
Cites work
- A construction of non-well-founded sets within Martin-Löf's type theory
- A minimalist two-level foundation for constructive mathematics
- A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS
- A realizability semantics for inductive formal topologies, Church's thesis and axiom of choice
- A structural investigation on formal topology: coreflection of formal covers and exponentiability
- ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS
- Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice
- Constructivism in mathematics. An introduction. Volume II
- Containers: Constructing strictly positive types
- Convergence in formal topology: a unifying notion
- Dynamics in Foundations: What Does It Mean in the Practice of Mathematics?
- Elementary quotient completion
- Embedding locales and formal topologies into positive topologies
- scientific article; zbMATH DE number 3839951 (Why is no real title available?)
- scientific article; zbMATH DE number 4152376 (Why is no real title available?)
- scientific article; zbMATH DE number 4012604 (Why is no real title available?)
- scientific article; zbMATH DE number 3754682 (Why is no real title available?)
- scientific article; zbMATH DE number 42735 (Why is no real title available?)
- scientific article; zbMATH DE number 50149 (Why is no real title available?)
- scientific article; zbMATH DE number 2051383 (Why is no real title available?)
- scientific article; zbMATH DE number 2152234 (Why is no real title available?)
- scientific article; zbMATH DE number 1420853 (Why is no real title available?)
- scientific article; zbMATH DE number 2247253 (Why is no real title available?)
- Inaccessibility in constructive set theory and type theory
- Inaccessible set axioms may have little consistency strength
- Inductively generated formal topologies.
- Intuitionistic fixed point logic
- Models of non-well-founded sets via an indexed final coalgebra theorem
- Non-wellfounded trees in homotopy type theory
- On the regular extension axiom and its variants
- Pretopologies and a uniform presentation of sup-lattices, quantales and frames
- Proof theory of constructive systems: inductive types and univalence
- Quotient completion for the foundation of constructive mathematics
- Realizability for constructive Zermelo-Fraenkel set theory
- Some points in formal topology.
- The principle of pointfree continuity
- The strength of Martin-Löf type theory with a superuniverse. I
- The strength of Martin-Löf type theory with a superuniverse. II
- The strength of some Martin-Löf type theories
- Type theory based on dependent inductive and coinductive types
- Unifying exact completions
Cited in
(7)- Equivalents of the finitary non-deterministic inductive definitions
- A realizability semantics for inductive formal topologies, Church's thesis and axiom of choice
- The compatibility of the minimalist foundation with homotopy type theory
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023
- Equiconsistency of the minimalist foundation with its classical version
- A topological counterpart of well-founded trees in dependent type theory
- A topological reading of coinductive predicates in dependent type theory
This page was built for publication: Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5060191)
