REVIEW 1 cited by
Divisibility classes of ultrafilters and their patterns
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
abstract
A divisibility relation on ultrafilters on the set $\mathbb{N}$ of natural numbers is defined as follows: ${\cal F}\hspace{1mm}\widetilde{\mid}\hspace{1mm}{\cal G}$ if and only if every set in $\cal F$ upward closed for divisibility also belongs to $\cal G$. Previously we isolated basic classes: powers of prime ultrafilters, and described the pattern of an ultrafilter, measuring the quantity of members of each basic class dividing a given ultrafilter. In this paper we define a topology on the set of basic classes which will allow us to calculate the pattern of the limit of a $\widetilde{\mid}$-increasing chain of ultrafilters. Using this we characterize which patterns can actually appear as patterns of an ultrafilter. Defining the $=_\sim$-divisibility classes by identifying mutually divisible ultrafilters, in the respective quotient order $(\beta\mathbb{N}/=_\sim,\widetilde{\mid})$ we identify singleton classes and consider their patterns. Finally, we give a sufficient condition for a $=_\sim$-divisibility class to have an immediate predecessor.
Forward citations
Cited by 1 Pith paper
-
Extending orders to types
For definably complete linear orders, the preorder on 1-types is characterized as the order of cuts in the definable closure, yielding a ZFC-independence result for divisibility orders on prime ultrafilters.
Discussion (0). Continue with ORCID to comment.