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
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.
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.
Referee Report
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)
- [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.
- [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)
- [Notation] Notation for the generated algebra is written both as A⟨I⟩ and A<I>; a single consistent notation should be adopted throughout.
- [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
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
-
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
-
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
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
axioms (2)
- standard math ZFC set theory
- domain assumption σ-completeness of the ambient Boolean algebra A
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
If the Boolean algebra A⟨I⟩ generated by I does not have the Nikodym property, then it does not have the Grothendieck property either (under σ-completeness of A).
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Characterization of Nikodym property for A⟨I⟩ in terms of non-negative measures with pairwise disjoint supports and p_I^* ∉ supp(μ_n).
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
-
[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
work page 1947
-
[2]
A. Aizpuru,Relaciones entre propiedades de supremo y propiedades de inerpolación en álgebras de Boole, Collect. Math. 39 (1988), 115–125
work page 1988
-
[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
work page 1992
-
[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
work page 2009
-
[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
work page 1961
-
[6]
P. Antosik, C. Swartz,Matrix Methods in Analysis, Lecture Notes in Mathematics 1113, eds. A. Dold, B. Eckmann, Springer–Verlag, Berlin Heidelberg, 1985
work page 1985
-
[7]
Auerbach,Über die Vorzeichenverteilung in unendlichen Reihen, Studia Math
H. Auerbach,Über die Vorzeichenverteilung in unendlichen Reihen, Studia Math. 2 (1930), 228–230
work page 1930
-
[8]
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
work page 2011
-
[9]
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
work page 2013
-
[10]
G. Bennett, J. Boos, T. Leiger,Sequences of0’s and1’s, Studia Math. 149 (2002), no. 1, 75–99
work page 2002
-
[11]
V.I. Bogachev,Measure Theory, vol. II, Springer-Verlag, Berlin, Heidelberg, 2007
work page 2007
-
[12]
J. Boos, T. Leiger,Strongly nonatomic densities defined by certain matrices, Math. Slovaca 63 (2013), no. 3, 573–586
work page 2013
-
[13]
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
work page 2015
-
[14]
P. Borodulin-Nadzieja, A. Ranchynski,On points avoiding measures, Topol. Appl. 354 (2024), paper no. 108988
work page 2024
- [15]
-
[16]
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
work page 1981
-
[17]
J. Diestel,Sequences and Series in Banach Spaces, Graduate Texts in Mathematics 92, Springer–Verlag, New York, 1984
work page 1984
-
[18]
J. Diestel, B. Faires, R. Huff,Convergence and boundedness of measures on non-sigma-complete algebras, preprint (1976)
work page 1976
-
[19]
J. Diestel, J. Uhl,Vector Measures, American Mathematical Society Surveys 15, American Mathematical Society, Providence, 1977
work page 1977
-
[20]
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
work page 1994
-
[21]
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
work page 1994
-
[22]
L. Drewnowski, T. Łuczak,On nonatomic submeasures onN, Arch. Math. 91 (2008), 76–85
work page 2008
-
[23]
L. Drewnowski, T. Łuczak,On nonatomic submeasures onN. II, J. Math. Anal. Appl. 347 (2008), no. 2, 442–449
work page 2008
-
[24]
L. Drewnowski, T. Łuczak,On nonatomic submeasures onN. III, Arch. Math. 92 (2009), 377–382
work page 2009
-
[25]
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
work page 2000
- [26]
-
[27]
R. Engelking,General Topology. Revised and Completed Edition, Sigma Series in Pure Mathematics 6, Heldermann Verlag, Berlin, 1989
work page 1989
-
[28]
I. Farah,Analytic quotients: theory of liftings for quotients over analytic ideals on the integers, Memoirs Amer. Math. Soc. 148 (2000), no. 702
work page 2000
-
[29]
Ferrando,On sets of density zero, Results Math
J.C. Ferrando,On sets of density zero, Results Math. 41 (2002), 270–274
work page 2002
-
[30]
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
work page 2019
-
[31]
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
work page 2004
-
[32]
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
work page 2007
-
[33]
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
work page 2011
-
[34]
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
work page 2012
-
[35]
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
work page 2010
-
[36]
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
work page 2010
-
[37]
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
work page 2010
-
[38]
R. Filipów, J. Tryba,Ideal convergence versus matrix summability, Studia Math. 245 (2019), no. 2, 101–127
work page 2019
-
[39]
R. Filipów, J. Tryba,Path of pathology, preprint (2025),arXiv:2501.00503
-
[40]
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
work page 1984
-
[41]
L. Gillman, M. Jerison,Rings of Continuous Functions, D. Van Nostrand Company, New York, 1960
work page 1960
-
[42]
D. Głodkowski, A. Widz,Epic math battle of history: Grothendieck vs Nikodym, J. Funct. Anal. 288 (2025), no. 4, paper no. 110757
work page 2025
-
[43]
M. González, T. Kania,Grothendieck spaces: the landscape and perspectives, Japan. J. Math. 16 (2021), 247–313
work page 2021
-
[44]
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
work page 1983
-
[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
work page 1953
-
[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
work page 1981
-
[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
work page 2025
-
[48]
F. Hernández-Hernández, M. Hrušák,Cardinal invariants of analytic P-ideals, Canad. J. Math. 59 (2007), no. 3, 575–595
work page 2007
-
[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
work page 2011
-
[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
work page 2017
-
[51]
T. Jech,Set Theory. The Third Millennium Edition, Revised and Expanded, Springer–Verlag, Berlin, Hei- delberg, 2003
work page 2003
-
[52]
W. Just, A. Krawczyk,On certain Boolean algebrasP(ω)/I, Trans. Amer. Math. Soc. 285 (1984), no. 1, 411–429
work page 1984
- [53]
- [54]
- [55]
- [56]
- [57]
-
[58]
A. Kwela,Erdős–Ulam ideals vs. simple density ideals, J. Math. Anal. Appl. 462 (2018), 114–130
work page 2018
- [59]
-
[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
work page 2016
-
[61]
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
work page 2016
-
[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
work page 1997
-
[63]
W. Marciszewski, D. Sobota,The Josefson–Nissenzweig theorem and filters onω, Arch. Math. Logic 63 (2024), 773–812
work page 2024
-
[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
work page 1991
-
[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
work page 2009
- [66]
-
[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
work page 1981
-
[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
work page 1933
-
[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
work page 1990
-
[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
work page 2018
-
[71]
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
work page 1982
-
[72]
Seever,Measures on F-spaces, Trans
G.L. Seever,Measures on F-spaces, Trans. Amer. Math. Soc. 133 (1968), no. 1, 267–280
work page 1968
-
[73]
J.J. Sember, A.R. Freedman,On summing sequences of0’s and1’s, Rocky Mountain J. Math. 11 (1981), no. 3, 419–425
work page 1981
-
[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
work page 2019
- [75]
- [76]
- [77]
- [78]
- [79]
-
[80]
Solecki,Analytic ideals and their applications, Ann
S. Solecki,Analytic ideals and their applications, Ann. Pure Appl. Logic 99 (1999), 51–72
work page 1999
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.