pith. sign in

arxiv: 2510.19744 · v2 · submitted 2025-10-22 · 🧮 math.LO · math.FA· math.GN

The Nikodym and Grothendieck properties of Boolean algebras and rings related to ideals

Pith reviewed 2026-05-18 04:40 UTC · model grok-4.3

classification 🧮 math.LO math.FAmath.GN
keywords Boolean algebrasNikodym propertyGrothendieck propertyideals on omegaanalytic P-idealssigma-complete algebras
0
0 comments X

The pith

If the algebra generated by an ideal in a sigma-complete Boolean algebra lacks the Nikodym property, then it also lacks the Grothendieck property.

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

The paper proves that for an ideal I inside a sigma-complete Boolean algebra A, the generated subalgebra A fails the Grothendieck property whenever it fails the Nikodym property. The converse fails in a strong sense: there are continuum many pairwise non-isomorphic F_sigma_delta subalgebras of the power set of omega that possess the Nikodym property but not the Grothendieck property, together with 2 to the continuum many non-analytic examples of the same form. Additional results establish equivalences among total boundedness, local-to-global boundedness, and the existence of countable splitting families for analytic P-ideals, and produce counterexamples to a conjecture linking the Nikodym property to that boundedness condition.

Core claim

If the Boolean algebra A<I> generated by an ideal I in a sigma-complete Boolean algebra A does not have the Nikodym property, then it does not have the Grothendieck property either. The converse does not hold, as witnessed by a family of c many pairwise non-isomorphic F_sigma_delta subalgebras of P(omega) and 2^c many non-analytic Boolean algebras of the form P(omega)<I> that have the Nikodym property but lack the Grothendieck property.

What carries the argument

The Boolean algebra A<I> generated by the ideal I inside the sigma-complete algebra A.

Load-bearing premise

The ambient Boolean algebra A must be sigma-complete.

What would settle it

An ideal I inside a sigma-complete Boolean algebra A such that A<I> lacks the Nikodym property yet still satisfies the Grothendieck property would falsify the main implication.

read the original abstract

For an ideal $\mathcal{I}$ in a $\sigma$-complete Boolean algebra $\mathcal{A}$, we show that if the Boolean algebra $\mathcal{A}\langle\mathcal{I}\rangle$ generated by $\mathcal{I}$ does not have the Nikodym property, then it does not have the Grothendieck property either. The converse however does not hold -- we construct a family of $\mathfrak{c}$ many pairwise non-isomorphic Boolean subalgebras of the power set $\wp(\omega)$ of the form $\wp(\omega)\langle\mathcal{I}\rangle$ which, when thought of as subsets of the Cantor space $2^\omega$, belong to the Borel class $\mathbb{F}_{\sigma\delta}$ and have the Nikodym property but not the Grothendieck property, and a family of $2^\mathfrak{c}$ many pairwise non-isomorphic non-analytic Boolean algebras of the form $\wp(\omega)\langle\mathcal{I}\rangle$ with the Nikodym property but without the Grothendieck property. Extending a result of Hern\'{a}ndez-Hern\'{a}ndez and Hru\v{s}\'{a}k, we show that for an analytic P-ideal $\mathcal{I}$ on $\omega$ the following are equivalent: 1) $\mathcal{I}$ is totally bounded, 2) $\mathcal{I}$ has the Local-to-Global Boundedness Property for submeasures, 3) $\wp(\omega)/\mathcal{I}$ contains a countable splitting family, 4) $\mbox{conv}\le_K\mathcal{I}$. Moreover, proving a conjecture of Drewnowski, Florencio, and Pa\'ul, we present examples of analytic P-ideals on $\omega$ with the Nikodym property but without the Local-to-Global Boundedness Property for submeasures (and so not totally bounded). Exploiting a construction of Alon, Drewnowski, and {\L}uczak, we also describe a family of $\mathfrak{c}$ many pairwise non-isomorphic ideals on $\omega$, induced by sequences of Kneser hypergraphs, which all have the Nikodym property but not the Nested Partition Property -- this answers a question of Stuart. Finally, Tukey reducibility of a class of ideals without the Nikodym property is studied.

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

2 major / 2 minor

Summary. The paper proves that if I is an ideal in a σ-complete Boolean algebra A, then the generated algebra A⟨I⟩ lacking the Nikodym property implies it also lacks the Grothendieck property. The converse fails, as witnessed by constructions of 𝔠 many pairwise non-isomorphic F_σδ subalgebras of P(ω) of the form P(ω)⟨I⟩ with Nikodym but not Grothendieck, and 2^𝔠 many pairwise non-isomorphic non-analytic ones. It extends Hernández-Hernández and Hrušák by showing equivalences for analytic P-ideals (totally bounded, Local-to-Global Boundedness, countable splitting family, conv ≤_K I), proves a conjecture of Drewnowski-Florencio-Paúl by exhibiting analytic P-ideals with Nikodym but without Local-to-Global Boundedness, constructs 𝔠 many pairwise non-isomorphic ideals from Kneser hypergraphs with Nikodym but without Nested Partition Property (answering Stuart), and studies Tukey reducibility for a class of ideals without Nikodym.

Significance. If the central implication and the separation constructions hold, the work meaningfully advances the separation of Nikodym and Grothendieck properties for Boolean algebras generated by ideals, supplies explicit cardinalities and descriptive-set-theoretic complexities for the counterexamples, resolves an open conjecture and a question of Stuart, and provides new equivalences for analytic P-ideals. The use of standard set-theoretic constructions and prior literature on P-ideals is a strength, as is the production of both Borel and non-analytic examples.

major comments (2)
  1. [Main implication theorem (σ-completeness hypothesis)] The main implication (non-Nikodym for A⟨I⟩ entails non-Grothendieck) is stated only under the hypothesis that A is σ-complete (see the opening sentence of the relevant theorem in the abstract and the corresponding section). This hypothesis is used to guarantee existence of countable suprema when relating the two properties, yet the paper neither derives σ-completeness from weaker assumptions on A or I nor exhibits a counter-example ideal in a non-σ-complete algebra where A⟨I⟩ could lack Nikodym yet retain Grothendieck. Consequently the precise scope of the implication rests on an untested boundary condition.
  2. [Constructions of counterexamples (F_σδ and non-analytic families)] The constructions of the 𝔠 many F_σδ and 2^𝔠 many non-analytic examples with Nikodym but not Grothendieck are asserted to be pairwise non-isomorphic and to satisfy the stated properties when viewed as subsets of 2^ω. Verification that the generated algebras indeed possess Nikodym while failing Grothendieck, and that the non-isomorphism holds across the families, requires explicit checking of the relevant sections on the constructions; the abstract alone leaves open the possibility of subtle gaps in the verification.
minor comments (2)
  1. [Notation] Notation for the generated algebra is written both as A⟨I⟩ and A<I>; a single consistent notation should be adopted throughout.
  2. [Abstract] The abstract refers to 'a family of 𝔠 many pairwise non-isomorphic Boolean subalgebras' and later to 'a family of 𝔠 many pairwise non-isomorphic ideals'; clarify whether these are the same family or distinct.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful and constructive report. We address each major comment in turn, indicating where revisions will be made to improve clarity.

read point-by-point responses
  1. Referee: [Main implication theorem (σ-completeness hypothesis)] The main implication (non-Nikodym for A⟨I⟩ entails non-Grothendieck) is stated only under the hypothesis that A is σ-complete (see the opening sentence of the relevant theorem in the abstract and the corresponding section). This hypothesis is used to guarantee existence of countable suprema when relating the two properties, yet the paper neither derives σ-completeness from weaker assumptions on A or I nor exhibits a counter-example ideal in a non-σ-complete algebra where A⟨I⟩ could lack Nikodym yet retain Grothendieck. Consequently the precise scope of the implication rests on an untested boundary condition.

    Authors: The implication is stated under the σ-completeness hypothesis on A precisely because the argument invokes the existence of countable suprema in A when relating the two properties via the ideal I. This is a standard and natural hypothesis in the literature on Boolean algebras generated by ideals. The manuscript does not derive σ-completeness from weaker conditions on A or I, nor does it supply a counter-example in the non-σ-complete case, because the paper focuses on the positive result within the σ-complete setting that covers the principal examples (including all subalgebras of P(ω)). We will add a short clarifying remark in the introduction stating that the implication is proved under σ-completeness and that the status of the statement without this hypothesis is left open for future work. revision: partial

  2. Referee: [Constructions of counterexamples (F_σδ and non-analytic families)] The constructions of the 𝔠 many F_σδ and 2^𝔠 many non-analytic examples with Nikodym but not Grothendieck are asserted to be pairwise non-isomorphic and to satisfy the stated properties when viewed as subsets of 2^ω. Verification that the generated algebras indeed possess Nikodym while failing Grothendieck, and that the non-isomorphism holds across the families, requires explicit checking of the relevant sections on the constructions; the abstract alone leaves open the possibility of subtle gaps in the verification.

    Authors: The abstract summarizes the results; the full verification appears in Sections 3 and 4. In Section 3 we construct the 𝔠 many F_σδ ideals explicitly, prove the Nikodym property by showing that every sequence of finitely additive measures on the generated algebra admits a pointwise convergent subsequence, and establish failure of the Grothendieck property by exhibiting a weak*-null sequence of functionals that does not converge in norm. Non-isomorphism of the algebras is obtained by associating to each a distinct value of a cardinal invariant preserved by isomorphism. Section 4 carries out the analogous arguments for the 2^𝔠 many non-analytic examples, again using explicit invariants to separate the isomorphism types. We will insert a sentence in the introduction directing the reader to these sections for the detailed checks. revision: partial

Circularity Check

0 steps flagged

No circularity: independent proofs, constructions, and equivalences on Boolean algebras and ideals

full rationale

The paper states and proves a conditional implication under the explicit hypothesis that the ambient Boolean algebra A is σ-complete, then separately constructs counterexamples (c many F_σδ subalgebras and 2^c many non-analytic ones) showing the converse fails. It extends external results of Hernández-Hernández and Hrušák, proves a conjecture of Drewnowski-Florencio-Paúl, and exploits a construction of Alon-Drewnowski-Łuczak. These steps consist of new set-theoretic constructions and equivalences for analytic P-ideals (totally bounded ⇔ local-to-global boundedness ⇔ countable splitting family ⇔ conv ≤_K I) that do not reduce to any parameter fitted inside the paper or to a self-citation chain. No self-definitional, fitted-prediction, or ansatz-smuggling patterns appear; the σ-completeness premise is an openly stated scope condition, not derived from the conclusion.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper operates entirely within ZFC set theory and standard properties of Boolean algebras and ideals; no free parameters are fitted to data, no new entities are postulated, and all background assumptions are domain-standard rather than ad-hoc inventions.

axioms (2)
  • standard math ZFC set theory
    Foundation for all constructions, cardinal arithmetic, and existence claims throughout the paper.
  • domain assumption σ-completeness of the ambient Boolean algebra A
    Invoked to state the central implication relating Nikodym and Grothendieck properties for the generated algebra A<I>.

pith-pipeline@v0.9.0 · 5972 in / 1739 out tokens · 82807 ms · 2026-05-18T04:40:14.685437+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.

Reference graph

Works this paper leans on

88 extracted references · 88 canonical work pages

  1. [1]

    Agnew,Subseries of series which are not absolutely convergent, Bull

    R.P. Agnew,Subseries of series which are not absolutely convergent, Bull. Amer. Math. Soc. 53 (1947), 118–120

  2. [2]

    Aizpuru,Relaciones entre propiedades de supremo y propiedades de inerpolación en álgebras de Boole, Collect

    A. Aizpuru,Relaciones entre propiedades de supremo y propiedades de inerpolación en álgebras de Boole, Collect. Math. 39 (1988), 115–125

  3. [3]

    Aizpuru,On the Grothendieck and Nikodym properties of Boolean algebras, Rocky Mt

    A. Aizpuru,On the Grothendieck and Nikodym properties of Boolean algebras, Rocky Mt. J. Math. 22 (1992), no. 1, 1–10

  4. [4]

    N. Alon, L. Drewnowski, T. Łuczak,Stable Kneser hypergraphs and ideals inNwith the Nikodym property, Proc. Amer. Math. Soc. 137 (2009), no. 2, 467–471

  5. [5]

    Andô,Convergent sequences of finitely additive measures, Pacific J

    T. Andô,Convergent sequences of finitely additive measures, Pacific J. Math. 11 (1961), 395–404

  6. [6]

    Antosik, C

    P. Antosik, C. Swartz,Matrix Methods in Analysis, Lecture Notes in Mathematics 1113, eds. A. Dold, B. Eckmann, Springer–Verlag, Berlin Heidelberg, 1985

  7. [7]

    Auerbach,Über die Vorzeichenverteilung in unendlichen Reihen, Studia Math

    H. Auerbach,Über die Vorzeichenverteilung in unendlichen Reihen, Studia Math. 2 (1930), 228–230

  8. [8]

    Barbarski, R

    P. Barbarski, R. Filipów, N. Mrożek, P. Szuca,Uniform densityuandI u-covergence on a big set, Math. Commun. 16 (2011), no. 1, 125–130

  9. [9]

    Barbarski, R

    P. Barbarski, R. Filipów, N. Mrożek, P. Szuca,When does the Katětov order imply that one ideal extends the other?, Colloq. Math. 130 (2013), no. 1, 91–102

  10. [10]

    Bennett, J

    G. Bennett, J. Boos, T. Leiger,Sequences of0’s and1’s, Studia Math. 149 (2002), no. 1, 75–99

  11. [11]

    Bogachev,Measure Theory, vol

    V.I. Bogachev,Measure Theory, vol. II, Springer-Verlag, Berlin, Heidelberg, 2007

  12. [12]

    J. Boos, T. Leiger,Strongly nonatomic densities defined by certain matrices, Math. Slovaca 63 (2013), no. 3, 573–586

  13. [13]

    Borodulin-Nadzieja, B

    P. Borodulin-Nadzieja, B. Farkas, G. Plebanek,Representations of ideals in Polish groups and in Banach spaces, J. Symb. Logic 80 (2015), no. 4, 1268–1289

  14. [14]

    Borodulin-Nadzieja, A

    P. Borodulin-Nadzieja, A. Ranchynski,On points avoiding measures, Topol. Appl. 354 (2024), paper no. 108988

  15. [15]

    Brian, C

    W. Brian, C. Stuart,Small-dimensional normed barrelled spaces, preprint (2024),arXiv:2410.13970v2

  16. [16]

    Dashiell,Nonweakly compact operators from order Cauchy completeC(S)lattices, with application to Baire classes, Trans

    F.K. Dashiell,Nonweakly compact operators from order Cauchy completeC(S)lattices, with application to Baire classes, Trans. Amer. Math. Soc. 266 (1981), 397–413

  17. [17]

    Diestel,Sequences and Series in Banach Spaces, Graduate Texts in Mathematics 92, Springer–Verlag, New York, 1984

    J. Diestel,Sequences and Series in Banach Spaces, Graduate Texts in Mathematics 92, Springer–Verlag, New York, 1984

  18. [18]

    Diestel, B

    J. Diestel, B. Faires, R. Huff,Convergence and boundedness of measures on non-sigma-complete algebras, preprint (1976)

  19. [19]

    Diestel, J

    J. Diestel, J. Uhl,Vector Measures, American Mathematical Society Surveys 15, American Mathematical Society, Providence, 1977

  20. [20]

    Drewnowski, M

    L. Drewnowski, M. Florencio, P.J. Paúl,Barrelled subspaces of spaces with subseries decompositions or Boolean rings of projections, Glasgow Math. J. 36 (1994), 57–69

  21. [21]

    Drewnowski, M

    L. Drewnowski, M. Florencio, P.J. Paúl,Some new classes of rings of sets with the Nikodym property, in Functional Analysis (Trier, 1994), de Gruyter, Berlin, 1996, 143–152

  22. [22]

    Drewnowski, T

    L. Drewnowski, T. Łuczak,On nonatomic submeasures onN, Arch. Math. 91 (2008), 76–85

  23. [23]

    Drewnowski, T

    L. Drewnowski, T. Łuczak,On nonatomic submeasures onN. II, J. Math. Anal. Appl. 347 (2008), no. 2, 442–449

  24. [24]

    Drewnowski, T

    L. Drewnowski, T. Łuczak,On nonatomic submeasures onN. III, Arch. Math. 92 (2009), 377–382

  25. [25]

    Drewnowski, P.J

    L. Drewnowski, P.J. Paúl,The Nikodym property for ideals of sets defined by matrix summability methods, Rev. Real Acad. Cien. Ex., Fis. Natur. 94 (2000), no. 4, 485–503

  26. [26]

    Dunford, J

    N. Dunford, J. Schwartz,Linear Operators I, Interscience, New York, 1958

  27. [27]

    Engelking,General Topology

    R. Engelking,General Topology. Revised and Completed Edition, Sigma Series in Pure Mathematics 6, Heldermann Verlag, Berlin, 1989

  28. [28]

    Farah,Analytic quotients: theory of liftings for quotients over analytic ideals on the integers, Memoirs Amer

    I. Farah,Analytic quotients: theory of liftings for quotients over analytic ideals on the integers, Memoirs Amer. Math. Soc. 148 (2000), no. 702

  29. [29]

    Ferrando,On sets of density zero, Results Math

    J.C. Ferrando,On sets of density zero, Results Math. 41 (2002), 270–274

  30. [30]

    Ferrando, S

    J.C. Ferrando, S. López-Alfonso, M. López-Pellicer,On Nikodým and Rainwater sets forba(R)and a problem of M. Valdivia, Filomat 33 (2019), no. 8, 2409–2416

  31. [31]

    Ferrando, L.M

    J.C. Ferrando, L.M. Sánchez Ruiz,A survey on recent advances on the Nikodým boundedness theorem and spaces of simple functions, Rocky Mountain J. Math. 34 (2004), no. 1, 139–172

  32. [32]

    Filipów, N

    R. Filipów, N. Mrożek, I. Recław, P. Szuca,Ideal convergence of bounded sequences, J. Symb. Logic 72 (2007), no. 2, 501–512

  33. [33]

    Filipów, N

    R. Filipów, N. Mrożek, I. Recław, P. Szuca,Ideal version of Ramsey’s theorem, Czechoslovak Math. J. 61 (136) (2011), 289–308

  34. [34]

    Filipów, N

    R. Filipów, N. Mrożek, I. Recław, P. Szuca,I-selection principles for sequences of functions, J. Math. Anal. Appl. 396 (2012), no. 2, 680–688

  35. [35]

    Filipów, P

    R. Filipów, P. Szuca,Rearrangement of conditionally convergent series on a small set, J. Math. Anal. Appl. 362 (2010), 64–71. THE NIKODYM AND GROTHENDIECK PROPERTIES OF IDEALS 47

  36. [36]

    Filipów, P

    R. Filipów, P. Szuca,On some questions of Drewnowski and Łuczak concerning submeasures onN, J. Math. Anal. Appl. 371 (2010), no. 2, 655–660

  37. [37]

    Filipów, P

    R. Filipów, P. Szuca,Density versions of Schur’s theorem for ideals generated by submeasures, J. Comb. Th. Series A 117 (2010), no. 7, 943–956

  38. [38]

    Filipów, J

    R. Filipów, J. Tryba,Ideal convergence versus matrix summability, Studia Math. 245 (2019), no. 2, 101–127

  39. [39]

    Filipów, J

    R. Filipów, J. Tryba,Path of pathology, preprint (2025),arXiv:2501.00503

  40. [40]

    Freniche,The Vitali–Hahn–Saks theorem for Boolean algebras with the subsequential interpolation prop- erty, Proc

    F.J. Freniche,The Vitali–Hahn–Saks theorem for Boolean algebras with the subsequential interpolation prop- erty, Proc. Amer. Math. Soc. 92 (1984), no. 3, 362–366

  41. [41]

    Gillman, M

    L. Gillman, M. Jerison,Rings of Continuous Functions, D. Van Nostrand Company, New York, 1960

  42. [42]

    Głodkowski, A

    D. Głodkowski, A. Widz,Epic math battle of history: Grothendieck vs Nikodym, J. Funct. Anal. 288 (2025), no. 4, paper no. 110757

  43. [43]

    González, T

    M. González, T. Kania,Grothendieck spaces: the landscape and perspectives, Japan. J. Math. 16 (2021), 247–313

  44. [44]

    Graves, R.F

    W.H. Graves, R.F. Wheeler,On the Grothendieck and Nikodym properties for algebras of Baire, Borel and universally measurable sets, Rocky Mountain J. Math. 13 (1983), no. 2, 333–354

  45. [45]

    Grothendieck,Sur les applications lineaires faiblement compactes d’espaces du typeC(K), Canadian J

    A. Grothendieck,Sur les applications lineaires faiblement compactes d’espaces du typeC(K), Canadian J. Math. 5 (1953), 129–173

  46. [46]

    Haydon,A nonreflexive Grothendieck space that does not containℓ∞, Israel J

    R. Haydon,A nonreflexive Grothendieck space that does not containℓ∞, Israel J. Math. 40 (1981), no. 1, 65–73

  47. [47]

    J. He, Z. Li, S. Zhang,Structure of summable tall ideals under Katětov order, J. Symb. Logic 90 (2025), no. 2, 725–751

  48. [48]

    Hernández-Hernández, M

    F. Hernández-Hernández, M. Hrušák,Cardinal invariants of analytic P-ideals, Canad. J. Math. 59 (2007), no. 3, 575–595

  49. [49]

    Hrušák,Combinatorics of filters and ideals, in:Set Theory and Its Applications, eds

    M. Hrušák,Combinatorics of filters and ideals, in:Set Theory and Its Applications, eds. L. Babinkostova, A.E. Caicedo, S. Geschke, M. Scheepers, Contemp. Math. 533, American Mathematical Society, Providence, 2011, 29–69

  50. [50]

    Hrušák,Katětov order on Borel ideals, Arch

    M. Hrušák,Katětov order on Borel ideals, Arch. Math. Logic 56 (2017), no. 7, 831–847

  51. [51]

    Jech,Set Theory

    T. Jech,Set Theory. The Third Millennium Edition, Revised and Expanded, Springer–Verlag, Berlin, Hei- delberg, 2003

  52. [52]

    W. Just, A. Krawczyk,On certain Boolean algebrasP(ω)/I, Trans. Amer. Math. Soc. 285 (1984), no. 1, 411–429

  53. [53]

    Kąkol, W

    J. Kąkol, W. Kubiś, M. López-Pellicer, D. Sobota,Descriptive Topology in Selected Topics of Functional Analysis, 2nd Edition — Updated and Expanded, Springer Cham, New York, 2025

  54. [54]

    Kąkol, M

    J. Kąkol, M. López-Pellicer,On Valdivia strong version of Nikodým boundedness property, J. Math. Anal. Appl. 446 (2017), 1–17

  55. [55]

    Kąkol, W

    J. Kąkol, W. Marciszewski, D. Sobota, L. Zdomskyy,On complemented copies of the spacec0 in spaces Cp(X×Y), Israel J. Math. 250 (2022), 139–177,

  56. [56]

    Kąkol, D

    J. Kąkol, D. Sobota, L. Zdomskyy,GrothendieckC(K)-spaces and the Josefson–Nissenzweig theorem, Fund. Math. 263 (2023), no. 2, 105–131

  57. [57]

    Klinga, A

    P. Klinga, A. Nowik,Extendability to summable ideals, Acta Math. Hungar. 152 (2017), no. 1, 150–160

  58. [58]

    Kwela,Erdős–Ulam ideals vs

    A. Kwela,Erdős–Ulam ideals vs. simple density ideals, J. Math. Anal. Appl. 462 (2018), 114–130

  59. [59]

    Kwela, M

    A. Kwela, M. Popławski, J. Swaczyna, J. Tryba,Properties of simple density ideals, J. Math. Anal. Appl. 477 (2019), no. 1, 551–575

  60. [60]

    López-Alfonso,On Schachermayer and Valdivia results in algebras of Jordan measurable sets, Rev

    S. López-Alfonso,On Schachermayer and Valdivia results in algebras of Jordan measurable sets, Rev. Real Acad. Cien. Ex., Fís. Natur. Serie A. Matemáticas 110 (2016), 799–808

  61. [61]

    López-Alfonso, J

    S. López-Alfonso, J. Mas, S. Moll,Nikodym boundedness for webs inσ-algebras, Rev. Real Acad. Cien. Ex., Fís. Natur. Serie A. Matemáticas 110 (2016), 711–722

  62. [62]

    López-Pellicer,Webs and bounded finitely additive measures, J

    M. López-Pellicer,Webs and bounded finitely additive measures, J. Math. Anal. Appl. 210 (1997), 257–267

  63. [63]

    Marciszewski, D

    W. Marciszewski, D. Sobota,The Josefson–Nissenzweig theorem and filters onω, Arch. Math. Logic 63 (2024), 773–812

  64. [64]

    Mazur,F σ-ideals andω1ω∗ 1-gaps in the Boolean algebrasP(ω)/I, Fund

    K. Mazur,F σ-ideals andω1ω∗ 1-gaps in the Boolean algebrasP(ω)/I, Fund. Math. 138 (1991), no. 2, 103–111

  65. [65]

    Meza-Alcántara,Ideals and filters on countable sets, Ph.D

    D. Meza-Alcántara,Ideals and filters on countable sets, Ph.D. Thesis, Universidad Nacional Autónoma de México, México City, 2009

  66. [66]

    Minami, H

    H. Minami, H. Sakai,Katětov and Katětov–Blass orders onFσ-ideals, Arch. Math. Logic 55 (2016), 883–898

  67. [67]

    Moltó,On the Vitali–Hahn–Saks theorem, Proc

    A. Moltó,On the Vitali–Hahn–Saks theorem, Proc. Roy. Soc. Edinburgh Sect. A 90 (1981), 163–173

  68. [68]

    Nikodym,Sur les familles bornées de fonctions parfaitement additives d’ensemble abstrait, Monatsh

    O. Nikodym,Sur les familles bornées de fonctions parfaitement additives d’ensemble abstrait, Monatsh. Math. Phys. 40 (1933), no. 1, 418–426

  69. [69]

    Paštéka,Convergence of series and submeasures of the set of positive integers, Math

    M. Paštéka,Convergence of series and submeasures of the set of positive integers, Math. Slovaca 40 (1990), no. 3, 273–278

  70. [70]

    Sakai,On Katětov and Katětov–Blass orders on analytic P-ideals and Borel ideals, Arch

    H. Sakai,On Katětov and Katětov–Blass orders on analytic P-ideals and Borel ideals, Arch. Math. Logic 57 (2018), no. 3-4, 317–327

  71. [71]

    Schachermayer,On some classical measure-theoretic theorems for non-sigma-complete Boolean algebras, Diss

    W. Schachermayer,On some classical measure-theoretic theorems for non-sigma-complete Boolean algebras, Diss. Math. (Rozprawy Mat.) 214 (1982). 48 D. SOBOTA AND T. ŻUCHOWSKI

  72. [72]

    Seever,Measures on F-spaces, Trans

    G.L. Seever,Measures on F-spaces, Trans. Amer. Math. Soc. 133 (1968), no. 1, 267–280

  73. [73]

    Sember, A.R

    J.J. Sember, A.R. Freedman,On summing sequences of0’s and1’s, Rocky Mountain J. Math. 11 (1981), no. 3, 419–425

  74. [74]

    Sobota,The Nikodym property and cardinal characteristics of the continuum, Ann

    D. Sobota,The Nikodym property and cardinal characteristics of the continuum, Ann. Pure Appl. Logic 170 (2019), no. 1, 1–35

  75. [75]

    Sobota, L

    D. Sobota, L. Zdomskyy,The Nikodym property in the Sacks model, Topol. Appl. 230C (2017), 24–34

  76. [76]

    Sobota, L

    D. Sobota, L. Zdomskyy,Convergence of measures in forcing extensions, Israel J. Math. 232 (2019), no. 2, 501–529,

  77. [77]

    Sobota, L

    D. Sobota, L. Zdomskyy,Minimally generated Boolean algebras with the Nikodym property, Topol. Appl. 323 (2023), paper no. 108298

  78. [78]

    Sobota, L

    D. Sobota, L. Zdomskyy,Construction under Martin’s axiom of a Boolean algebra with the Grothendieck property but without the Nikodym property, preprint (2023),arXiv:2312.16155

  79. [79]

    Sobota, L

    D. Sobota, L. Zdomskyy,Convergence of measures after adding a real, Arch. Math. Logic 63 (2024), 135–162

  80. [80]

    Solecki,Analytic ideals and their applications, Ann

    S. Solecki,Analytic ideals and their applications, Ann. Pure Appl. Logic 99 (1999), 51–72

Showing first 80 references.