Constructive characterizations of bar subsets
DOI10.1016/J.APAL.2006.10.003zbMATH Open1154.03039OpenAlexW2076172147MaRDI QIDQ866574FDOQ866574
Authors: Silvio Valentini 
Publication date: 14 February 2007
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2006.10.003
Recommendations
constructive mathematicstype theoryformal topologybar inductionconstructive ordinalsbar theoremgeneralized inductive definitions
Frames, locales (06D22) Other constructive mathematics (03F65) Topological spaces and generalizations (closure spaces, etc.) (54A05)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Inductively generated formal topologies.
- Title not available (Why is that?)
- On the formal points of the formal topology of the binary tree
- Every countably presented formal topology is spatial, classically
- Type-theoretic interpretation of iterated, strictly positive inductive definitions
- History of constructivism in the 20th century
- A set constructor for inductive sets in Martin-Löf's type theory
- A linear category of polynomial diagrams
Cited In (9)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The rank filtration via a filtered bar construction
- Title not available (Why is that?)
- Title not available (Why is that?)
- Independence results in formal topology
- Formal Baire space in constructive set theory
This page was built for publication: Constructive characterizations of bar subsets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q866574)
