pith. sign in

arxiv: 2507.12361 · v3 · submitted 2025-07-16 · 🧮 math.LO · math.CO

Infinite-Exponent Partition Relations on the Real Line

Lyra A. Gardiner This is my paper

Pith reviewed 2026-05-19 03:58 UTC · model grok-4.3

classification 🧮 math.LO math.CO
keywords partition relationsreal lineinfinite exponentslinear ordersZF set theorywithout choicecombinatorics
0
0 comments X

The pith

The real line has a complete classification of its consistent countably infinite partition relations in ZF.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper extends the study of infinite-exponent partition relations from ordinals to general linear order types and concentrates on the real numbers. It supplies an exhaustive list of which relations with countably infinite exponents remain consistent on the reals. It also supplies a precise characterization of the claim that no partition relations with uncountable exponents hold on the reals. A sympathetic reader would care because the results map out the combinatorial possibilities for the continuum in set theory without the axiom of choice.

Core claim

We extend the theory of infinite-exponent partition relations to arbitrary linear order types, with a particular focus on the real number line. We give a complete classification of all consistent partition relations on the real line with countably infinite exponents, and a characterisation of the statement 'no uncountable-exponent partition relations hold on the real line', working throughout in ZF without the Axiom of Choice.

What carries the argument

Infinite-exponent partition relations on arbitrary linear order types, which record when every coloring of pairs or tuples from the order admits a monochromatic subset of a prescribed order type.

Load-bearing premise

The standard definitions of infinite-exponent partition relations and of linear order types extend in the expected way to the real line while remaining inside ZF without the Axiom of Choice.

What would settle it

A model of ZF in which some uncountable-exponent partition relation holds on the real line would refute the given characterization.

read the original abstract

We extend the theory of infinite-exponent partition relations to arbitrary linear order types, with a particular focus on the real number line. We give a complete classification of all consistent partition relations on the real line with countably infinite exponents, and a characterisation of the statement "no uncountable-exponent partition relations hold on the real line", working throughout in ZF without the Axiom of Choice.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper extends the theory of infinite-exponent partition relations to arbitrary linear order types, with a particular focus on the real number line. It gives a complete classification of all consistent partition relations on the real line with countably infinite exponents, and a characterisation of the statement 'no uncountable-exponent partition relations hold on the real line', working throughout in ZF without the Axiom of Choice.

Significance. If the proofs hold, this provides a thorough ZF classification of countable-exponent partition relations on the reals and a clean characterisation of the failure of uncountable-exponent ones. Such exhaustive, choice-free results on a concrete linear order would be a useful reference point for infinitary combinatorics and for studying models in which AC fails.

minor comments (2)
  1. [§2] §2: The extension of the standard definition of infinite-exponent partition relations from ordinals to general linear orders is stated without an explicit example illustrating the new clauses; adding one would aid readability.
  2. [Throughout] Throughout: Some notation for order types and homogeneous sets is introduced locally but not collected in a single preliminary section, which occasionally requires backtracking.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, the recognition of the significance of our ZF results, and the recommendation of minor revision. The referee's description accurately reflects the paper's focus on extending infinite-exponent partition relations to arbitrary linear orders with a complete classification for countable exponents on the reals and a characterization of the failure of uncountable-exponent relations.

Circularity Check

0 steps flagged

No significant circularity; self-contained ZF classification

full rationale

The paper extends standard definitions of infinite-exponent partition relations and linear order types to the reals inside ZF, then classifies consistent countably infinite-exponent relations and characterises the failure of uncountable-exponent ones. No equations reduce to fitted parameters, no self-definitional loops appear, and no load-bearing self-citations or ansatzes imported from prior work by the same authors are invoked to force the central results. The derivation remains independent of the target classification and is externally falsifiable via ZF proofs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claims rest on the standard ZF axioms (minus AC) and on the usual definitions of partition relations for linear orders; no new entities or fitted constants are introduced.

axioms (2)
  • standard math ZF set theory without the Axiom of Choice
    Paper states it works throughout in ZF without AC.
  • domain assumption Standard definitions of infinite-exponent partition relations extend to arbitrary linear order types
    Invoked when extending the theory beyond ordinals to the reals.

pith-pipeline@v0.9.0 · 5572 in / 1174 out tokens · 41061 ms · 2026-05-19T03:58:55.597150+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 2 Pith papers

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

  1. Infinite-Exponent Partition Relations on Higher Analogues of the Real Line

    math.LO 2026-05 unverdicted novelty 6.0

    A full classification of ⟨^α2, <lex⟩ → (τ)^τ is obtained for countable τ in ZF, via new results on infinite-exponent partition relations on higher real-line analogues.

  2. Structural Infinite-Exponent Partition Relations and Weak Choice Principles

    math.LO 2026-05 unverdicted novelty 5.0

    Certain infinite-exponent partition relations on linear orders and graphs are consistent with ZF yet imply the negation of KWP₁ and the Ordering Principle.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages · cited by 2 Pith papers

  1. [1]

    B.\ Dushnik, E.\ W.\ Miller, Concerning similarity transformations of linearly ordered sets, Bulletin of the American Mathematical Society, Volume 46 (1940), pp.\ 322--326

    work page 1940

  2. [2]

    P.\ Erdős, R.\ Rado, Combinatorial theorems on classifications of subsets of a given set, Proceedings of the London Mathematical Society, Volume s3--2 (1952), pp.\ 417--439

    work page 1952

  3. [3]

    L.\ A.\ Gardiner, J.\ Schilhan, T.\ Weinert, Infinite-exponent partition relations on higher analogues of the real line, in preparation

    work page

  4. [4]

    3 (1953), pp.\ 514--535

    S.\ Ginsburg, Some remarks on order types and decompositions of sets, Transactions of the American Mathematical Society, Volume 74, no. 3 (1953), pp.\ 514--535

    work page 1953

  5. [5]

    2 (1955) pp.\ 341--361

    S.\ Ginsburg, Order types and similarity transformations, Transactions of the American Mathematical Society, Volume 79, no. 2 (1955) pp.\ 341--361

    work page 1955

  6. [6]

    T.\ J.\ Jech, The Axiom of Choice, Studies in logic and the foundations of mathematics, Volume 75, North-Holland (1973)

    work page 1973

  7. [7]

    P.\ Jullien, Contribution à l’étude des types d’ordres dispersés, doctoral thesis, Université de Marseille (1968)

    work page 1968

  8. [8]

    A.\ Kanamori, The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings, Springer, Berlin (2003)

    work page 2003

  9. [9]

    E.\ M.\ Kleinberg, Infinitary Combinatorics and the Axiom of Determinateness, Springer-Verlag Lecture Notes in Mathematics, Volume 612 (1977)

    work page 1977

  10. [10]

    C.\ Laflamme, M.\ Pouzet, R.\ Woodrow, Equimorphy: the case of chains, Archive for Mathematical Logic, Volume 56 (2017), pp.\ 811--829

    work page 2017

  11. [11]

    P.\ Lücke, P.\ Schlicht, T.\ Weinert, Choiceless Ramsey theory of linear orders, Order, Volume 34 (2017), pp.\ 369--418

    work page 2017

  12. [12]

    A.\ R.\ D.\ Mathias, On a generalization of Ramsey's theorem, doctoral thesis, University of Cambridge (1970)

    work page 1970

  13. [13]

    1 (1970), pp.\ 1--56

    R.\ M.\ Solovay, A model of set-theory in which every set of reals is Lebesgue measurable, Annals of Mathematics, Volume 92, no. 1 (1970), pp.\ 1--56

    work page 1970