2006
DOI: 10.1305/ndjfl/1168352662
|View full text |Cite
|
Sign up to set email alerts
|

Filters on Computable Posets

Abstract: We explore the problem of constructing maximal and unbounded filters on computable posets. We obtain both computability results and reverse mathematics results. A maximal filter is one that does not extend to a larger filter. We show that every computable poset has a ∆ 0 2 maximal filter, and there is a computable poset with no Π 0 1 or Σ 0 1 maximal filter. There is a computable poset on which every maximal filter is Turing complete. We obtain the reverse mathematics result that the principle "every countable… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
6
0

Year Published

2006
2006
2024
2024

Publication Types

Select...
4
1
1

Relationship

2
4

Authors

Journals

citations
Cited by 6 publications
(6 citation statements)
references
References 5 publications
0
6
0
Order By: Relevance
“…The second, more serious, difficulty is that RCA 0 does not prove that every countable poset has a maximal filter, or even that for every countable poset there is an enumeration of a maximal filter on the poset. These results follow from joint work with Steffen Lempp that will appear in [8]. The two difficulties just discussed indicate that RCA 0 is not strong enough to give an honest formalization of countably based MF spaces.…”
Section: Reverse Mathematics and Second-order Arithmeticmentioning
confidence: 68%
“…The second, more serious, difficulty is that RCA 0 does not prove that every countable poset has a maximal filter, or even that for every countable poset there is an enumeration of a maximal filter on the poset. These results follow from joint work with Steffen Lempp that will appear in [8]. The two difficulties just discussed indicate that RCA 0 is not strong enough to give an honest formalization of countably based MF spaces.…”
Section: Reverse Mathematics and Second-order Arithmeticmentioning
confidence: 68%
“…These lemmas show that (4.1.3) is provable in RCA 0 but not E-HA ω + AC + IP ω ef . [10,Theorem 3.6]). The following statement is equivalent to arithmetical comprehension over RCA 0 (and hence over RCA).…”
Section: Unprovability Resultsmentioning
confidence: 99%
“…These lemmas show that (4.1.3) is provable in RCA 0 but not E-HA ω + AC + IP ω ef . Lemma 4.7 (Lempp and Mummert [10,Theorem 3.5]). RCA 0 proves that any enumerated filter on a countable poset can be extended to an unbounded enumerated filter.…”
Section: Unprovability Resultsmentioning
confidence: 99%
“…The reverse mathematics in partially ordered sets has been studied in the last few years, in [14], [22], etc. Frittaion and Marcone studied scattered partial orders and partial orders satisfying finite antichain condition from a reverse mathematics point of view, and Lempp and Mummert explored the problem of constructing maximal filters on countable partially ordered sets.…”
Section: Introduction 11 Backgroundmentioning
confidence: 99%
“…In this chapter, we will consider properties of lattices provable within RCA 0 . For posets, Lempp and Mummert proved in [22] that the "existence of maximal filters" is equivalent to ACA 0 over RCA 0 , and Mummert proved in his PhD thesis [25] that "every filter can be extended to a maximal filter" is equivalent to Π 1 1 -CA 0 over RCA 0 . For lattices, we have two additional operations, meet and join, which help a lot in the constructions of objects wanted.…”
Section: Introductionmentioning
confidence: 99%