Pith. sign in

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

arxiv 2412.19753 v2 pith:PL42RP4D submitted 2024-12-27 math.LO

classification math.LO
keywords classesdivisibilityultrafilterspatternsbasicultrafilterwidetildeclass
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Extending orders to types

    math.LO 2025-09 conditional novelty 7.0 of 10

    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.

Pith tools