Constructive characterizations of bar subsets

DOI10.1016/J.APAL.2006.10.003MaRDI QIDQ866574zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

constructive mathematicstype theoryformal topologybar inductionconstructive ordinalsbar theoremgeneralized inductive definitions

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3900745
• On the formal points of the formal topology of the binary tree
• Formal Baire space in constructive set theory
• Maximal and partial points in formal spaces
• Principles of bar induction and continuity on Baire space

Cites work

• scientific article; zbMATH DE number 4152376 (Why is no real title available?)
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 50149 (Why is no real title available?)
• scientific article; zbMATH DE number 3557754 (Why is no real title available?)
• scientific article; zbMATH DE number 3428899 (Why is no real title available?)
• A linear category of polynomial diagrams
• A set constructor for inductive sets in Martin-Löf's type theory
• Every countably presented formal topology is spatial, classically
• History of constructivism in the 20th century
• Inductively generated formal topologies.
• On the formal points of the formal topology of the binary tree
• Type-theoretic interpretation of iterated, strictly positive inductive definitions

Cited in

(9)

• scientific article; zbMATH DE number 1156830 (Why is no real title available?)
• scientific article; zbMATH DE number 6848541 (Why is no real title available?)
• The rank filtration via a filtered bar construction
• scientific article; zbMATH DE number 7692241 (Why is no real title available?)
• scientific article; zbMATH DE number 1251510 (Why is no real title available?)
• Formal Baire space in constructive set theory
• scientific article; zbMATH DE number 3900745 (Why is no real title available?)
• scientific article; zbMATH DE number 7379292 (Why is no real title available?)
• Independence results in formal topology

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)