Constructive characterizations of bar subsets

DOI10.1016/J.APAL.2006.10.003zbMath1154.03039OpenAlexW2076172147MaRDI QIDQ866574

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

zbMATH Keywords

constructive mathematicstype theoryformal topologybar inductionconstructive ordinalsbar theoremgeneralized inductive definitions

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) Frames, locales (06D22) Other constructive mathematics (03F65)

Related Items (2)

Unnamed Item ⋮ Independence results in formal topology

Cites Work

• Type-theoretic interpretation of iterated, strictly positive inductive definitions
• On the formal points of the formal topology of the binary tree
• Inductively generated formal topologies.
• A set constructor for inductive sets in Martin-Löf's type theory
• Every countably presented formal topology is spatial, classically
• A linear category of polynomial diagrams
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Constructive characterizations of bar subsets