Filters on computable posets
From MaRDI portal
Publication:2372682
DOI10.1305/ndjfl/1168352662zbMath1128.03037MaRDI QIDQ2372682
Publication date: 1 August 2007
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1168352662
06A06: Partial orders, general
03B30: Foundations of classical theories (including reverse mathematics)
03D80: Applications of computability and recursion theory
03F35: Second- and higher-order arithmetic and fragments
Related Items