Unique paths as formal points

DOI10.4115/JLA.2011.3.6MaRDI QIDQ3145963zbMATH OpenOpenAlexFDO

Authors Thierry Coquand, Peter Schuster

Publication date 17 December 2012

Published in Journal of Logic and Analysis (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4115/jla.2011.3.6

zbMATH Keywords

infinite branchKönig's Lemmapoint-freenessunbounded treeunique choice

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Trees (05C05)

Recommendations

• Approximating classical theorems
• Branch space representations of lines
• Unique existence, approximate solutions, and countable choice.
• On the formal points of the formal topology of the binary tree
• Unique solutions

Cited in

(1)

• Point-Free Spectra of Linear Spreads

This page was built for publication: Unique paths as formal points

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3145963)