Filters on computable posets

DOI10.1305/NDJFL/1168352662zbMath1128.03037OpenAlexW2016627349MaRDI QIDQ2372682

Carl Mummert, Steffen Lempp

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

zbMATH Keywords

reverse mathematicsmaximal filterscomputable mathematicsunbounded filters

Mathematics Subject Classification ID

Partial orders, general (06A06) Foundations of classical theories (including reverse mathematics) (03B30) Applications of computability and recursion theory (03D80) Second- and higher-order arithmetic and fragments (03F35)

Related Items (2)

Reverse mathematics, well-quasi-orders, and Noetherian spaces ⋮ REVERSE MATHEMATICS OF MF SPACES

This page was built for publication: Filters on computable posets