Showing 1–47 of 47 results for author: Džamonja, M

Properties preserved by classes of Chu transforms

Authors: Mirna Džamonja, Francesco Parente

Abstract: Chu spaces and Chu transforms were first investigated in category theory by Barr and Chu in 1979. In 2000 van Benthem shifted to the model-theoretic point of view by isolating a class of infinitary two-sorted properties, the flow formulas, which are preserved by all Chu transforms. Džamonja and Väänänen in 2021 considered a special kind of Chu transforms, satisfying a density condition. These auth… ▽ More Chu spaces and Chu transforms were first investigated in category theory by Barr and Chu in 1979. In 2000 van Benthem shifted to the model-theoretic point of view by isolating a class of infinitary two-sorted properties, the flow formulas, which are preserved by all Chu transforms. Džamonja and Väänänen in 2021 considered a special kind of Chu transforms, satisfying a density condition. These authors used dense Chu transforms to compare abstract logics, in particular showing that such transforms preserve compactness. This motivates the problem of characterizing which properties are preserved by dense Chu transforms. We solve this problem by isolating the inconsistency-flow formulas, which are flow formulas with an added predicate to express inconsistency. Our main result characterizes the first-order inconsistency-flow formulas exactly as those first-order properties preserved by dense Chu transforms. Furthermore, we consider several instances of Chu transforms in concrete situations such as topological spaces, graphs and ultrafilters. In particular, we prove that Chu transforms between ultrafilters correspond to the Rudin-Keisler ordering. △ Less

Submitted 11 June, 2025; v1 submitted 16 December, 2024; originally announced December 2024.

Comments: 21 pages

On maximal order type of the lexicographic product

Authors: Mirna Džamonja, Isa Vialard

Abstract: In the previously submitted version of this paper, available here for the record, we stated the following : "We give a self-contained proof of Isa Vialard's formula for $o(P\cdot Q)$ where $P$ and $Q$ are wpos. The proof introduces the notion of a cut of partial order, which might be of independent interest." In fact, the argument presented in the paper is wrong and Vialard formula has no known pr… ▽ More In the previously submitted version of this paper, available here for the record, we stated the following : "We give a self-contained proof of Isa Vialard's formula for $o(P\cdot Q)$ where $P$ and $Q$ are wpos. The proof introduces the notion of a cut of partial order, which might be of independent interest." In fact, the argument presented in the paper is wrong and Vialard formula has no known proof. I will try to prove the formula $o(P\cdot Q)=o(P)\cdot o(Q)$ from the [DzSS] paper because I believe that Altman's purported counter-example mentioned in the preprint is incorrect. This statement is written by Mirna Džamonja without consultation with Isa Vialard, who may hold different views. Mirna Džamonja has withdrawn her authorship from the conditionally accepted version of this note (IGPL) on January 20, 2025 △ Less

Submitted 25 January, 2025; v1 submitted 15 September, 2024; originally announced September 2024.

Comments: An incorrect attribution to Abraham and Bonnet of the formula $o(P\cdot Q)=o(P)\cdot o(Q)$ was given in arxiv.org/abs/1711.00428 in MATH/LO

On the ABK Conjecture, alpha-well Quasi Orders and Dress-Schiffels product

Authors: Uri Abraham, Robert Bonnet, Mirna Džamonja, Maurice Pouzet

Abstract: The following is a 2008 conjecture of Abraham, Bonnet and Kubiś: [ABK Conjecture] Every well quasi order (wqo) is a countable union of better quasi orders (bqo). We obtain a partial progress on the conjecture, by showing that the class of orders that are a countable union of better quasi orders (sigma-bqo) is closed under various operations. These include diverse products, such as the Dress-Shieff… ▽ More The following is a 2008 conjecture of Abraham, Bonnet and Kubiś: [ABK Conjecture] Every well quasi order (wqo) is a countable union of better quasi orders (bqo). We obtain a partial progress on the conjecture, by showing that the class of orders that are a countable union of better quasi orders (sigma-bqo) is closed under various operations. These include diverse products, such as the Dress-Shieffels product. We develop various properties of the latter product. In relation with the main question, we explore the class of alpha-wqo for countable ordinals alpha and obtain several closure properties and a Hausdorff-style classification theorem. Our main contribution is the discovery of various properties of sigma-bqos and ruling out potential counterexamples to the ABK Conjecture. △ Less

Submitted 25 January, 2025; v1 submitted 20 March, 2023; originally announced March 2023.

Comments: Present version was accepted in "Topology and Applications". Mirna D{\v z}amonja has withdrawn as author of the accepted version

The Lindstrom's Characterizability of Abstract Logic Systems for Analytic Structures Based on Measures

Authors: Krystian Jobczyk, Mirna Dzamonja

Abstract: In 1969, Per Lindstrom proved his celebrated theorem characterising the first-order logic and established criteria for the first-order definability of formal theories for discrete structures. K. J. Barwise, S. Shelah, J. Vaananen and others extended Lindstrom's characterizability program to classes of infinitary logic systems, including a recent paper by M. Dzamonja and J. Vaananen on Karp's chain… ▽ More In 1969, Per Lindstrom proved his celebrated theorem characterising the first-order logic and established criteria for the first-order definability of formal theories for discrete structures. K. J. Barwise, S. Shelah, J. Vaananen and others extended Lindstrom's characterizability program to classes of infinitary logic systems, including a recent paper by M. Dzamonja and J. Vaananen on Karp's chain logic, which satisfies interpolation, undefinability of well-order, and is maximal in the class of logic systems with these properties. The novelty of the chain logic is in its new definition of satisfability. In our paper, we give a framework for Lindstrom's type characterizability of predicate logic systems interpreted semantically in models with objects based on measures (analytic structures). In particular, Hajek's Logic of Integral is redefined as an abstract logic with a new type of Hajek's satisfiability and constitutes a maximal logic in the class of logic systems for describing analytic structures with Lebesgue integrals and satisfying compactness, elementary chain condition, and weak negation. △ Less

Submitted 26 February, 2023; originally announced February 2023.

Report number: 4758191

Big Ramsey Degrees in Ultraproducts of Finite Structures

Authors: Dana Bartošová, Mirna Džamonja, Rehana Patel, Lynn Scow

Abstract: We develop a transfer principle of structural Ramsey theory from finite structures to ultraproducts. We show that under certain mild conditions, when a class of finite structures has finite small Ramsey degrees, under the (Generalized) Continuum Hypothesis the ultraproduct has finite big Ramsey degrees for internal colorings. The necessity of restricting to internal colorings is demonstrated by th… ▽ More We develop a transfer principle of structural Ramsey theory from finite structures to ultraproducts. We show that under certain mild conditions, when a class of finite structures has finite small Ramsey degrees, under the (Generalized) Continuum Hypothesis the ultraproduct has finite big Ramsey degrees for internal colorings. The necessity of restricting to internal colorings is demonstrated by the example of the ultraproduct of finite linear orders. Under CH, this ultraproduct $\fLL^*$ has, as a spine, $η_1$, an uncountable analogue of the order type of rationals $η$. Finite big Ramsey degrees for $η$ were exactly calculated by Devlin in \cite{Devlin}. It is immediate from \cite{Tod87} that $η_1$ fails to have finite big Ramsey degrees. Moreover, we extend Devlin's coloring to $η_1$ to show that it witnesses big Ramsey degrees of finite tuples in $η$ on every copy of $η$ in $η_1,$ and consequently in $\fLL^*$. This work gives additional confirmation that ultraproducts are a suitable environment for studying Ramsey properties of finite and infinite structures. △ Less

Submitted 12 September, 2023; v1 submitted 23 November, 2022; originally announced November 2022.

Comments: This is a version revised after the referee report

On middle box products and paracompact cardinals

Authors: David Buhagiar, Mirna Džamonja

Abstract: The paper gives several sufficient conditions on the paracompactness of box products with an arbitrary number of many factors and boxes of arbitrary size. The former include results on generalised metrisability and Sikorski spaces. Of particular interest are products of the type ${}^{<κ}\square 2^λ$, where we prove that for a regular uncountable cardinal $κ$, if ${}^{<κ}\square 2^λ$ is paracompact… ▽ More The paper gives several sufficient conditions on the paracompactness of box products with an arbitrary number of many factors and boxes of arbitrary size. The former include results on generalised metrisability and Sikorski spaces. Of particular interest are products of the type ${}^{<κ}\square 2^λ$, where we prove that for a regular uncountable cardinal $κ$, if ${}^{<κ}\square 2^λ$ is paracompact for every $λ\geκ$, then $κ$ is at least inaccessible. The case of the products of the type ${}^{<κ}\square X^λ$ for $κ$ singular has not been studied much in the literature and we offer various results. The question if ${}^{<κ}\square 2^λ$ can be paracompact for all $λ$ when $κ$ is singular has been partially answered but remains open in general. △ Less

Submitted 4 November, 2022; v1 submitted 31 December, 2021; originally announced December 2021.

Comments: The version after the referee report

MSC Class: 03E10; 03E55; 54A10; 54D20

Formalising Ordinal Partition Relations Using Isabelle/HOL

Authors: Mirna Džamonja, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson

Abstract: This is an overview of a formalisation project in the proof assistant Isabelle/HOL of a number of research results in infinitary combinatorics and set theory (more specifically in ordinal partition relations) by Erdős--Milner, Specker, Larson and Nash-Williams, leading to Larson's proof of the unpublished result by E.C. Milner asserting that for all $m \in \mathbb{N}$, $ω^ω\arrows(ω^ω, m)$. This m… ▽ More This is an overview of a formalisation project in the proof assistant Isabelle/HOL of a number of research results in infinitary combinatorics and set theory (more specifically in ordinal partition relations) by Erdős--Milner, Specker, Larson and Nash-Williams, leading to Larson's proof of the unpublished result by E.C. Milner asserting that for all $m \in \mathbb{N}$, $ω^ω\arrows(ω^ω, m)$. This material has been recently formalised by Paulson and is available on the Archive of Formal Proofs; here we discuss some of the most challenging aspects of the formalisation process. This project is also a demonstration of working with Zermelo-Fraenkel set theory in higher-order logic. △ Less

Submitted 20 April, 2021; v1 submitted 26 November, 2020; originally announced November 2020.

Comments: Version after the referee reports

MSC Class: 03E05; 03B35; 68V20; 68V35

Journal ref: Experimental Mathematics 31:2 (2022), 383-400

Are all natural numbers the same

Authors: Mirna Džamonja

Abstract: This is a report on state-of-the-art on the question of developing higher analogues of the forcing axiom PFA. Recently there have been several attempts to develop forcing axioms analogous to the proper forcing axiom (PFA) for cardinals of the form aleph_n where n > 1. We investigate the difficulties of doing this and survey some of the successes This is a report on state-of-the-art on the question of developing higher analogues of the forcing axiom PFA. Recently there have been several attempts to develop forcing axioms analogous to the proper forcing axiom (PFA) for cardinals of the form aleph_n where n > 1. We investigate the difficulties of doing this and survey some of the successes △ Less

Submitted 18 December, 2020; v1 submitted 23 November, 2020; originally announced November 2020.

Comments: A submission for possible publication in the the collection Research Trends in Contemporary Logic (edited by Melvin Fitting, Dov Gabbay, Massoud Pourmahdian, Adrian Rezus, and Ali Sadegh Daghighi) to be published by College Publications in 2020. This version after the 2nd referee report

MSC Class: 03E57

On wide Aronszajn trees in the presence of MA

Authors: Mirna Džamonja, Saharon Shelah

Abstract: A wide Aronszajn tree is a tree of size and height $ω_1$ with no uncountable branches. We prove that under $MA(ω_1)$ there is no wide Aronszajn tree which is universal under weak embeddings. This solves an open question of Mekler and Väänänen from 1994. We also prove that under the same assumption there is no universal Aronszajn tree, improving a result of Todorčevi{ć} from 2007 who proved the sam… ▽ More A wide Aronszajn tree is a tree of size and height $ω_1$ with no uncountable branches. We prove that under $MA(ω_1)$ there is no wide Aronszajn tree which is universal under weak embeddings. This solves an open question of Mekler and Väänänen from 1994. We also prove that under the same assumption there is no universal Aronszajn tree, improving a result of Todorčevi{ć} from 2007 who proved the same under the assumption of BPFA for posets of size $\aleph_1$. Finally, we prove that under $MA(ω_1)$, every wide Aronszajn tree weakly embeds in an Aronszajn tree. △ Less

Submitted 24 October, 2020; v1 submitted 6 February, 2020; originally announced February 2020.

Comments: This is the author's final version of the paper accepted by publication by the Journal of Symbolic Logic

MSC Class: 03E05; 03E35; 03E50

Journal ref: J. symb. log. 86 (2021) 210-223

Square Compactness and the filter extension property

Authors: David Buhagiar, Mirna Džamonja

Abstract: We show that the consistency strength of $κ$ being $2^κ$-square compact is at least weak compact and strictly less than indescribable. This is the first known improvement to the upper bound of strong compactness obtained in 1973 by Hajnal and Juh{\' a}sz. We show that the consistency strength of $κ$ being $2^κ$-square compact is at least weak compact and strictly less than indescribable. This is the first known improvement to the upper bound of strong compactness obtained in 1973 by Hajnal and Juh{\' a}sz. △ Less

Submitted 8 April, 2020; v1 submitted 12 September, 2019; originally announced September 2019.

Comments: This version incorporates referee's comments and some new references. No major mathematical changes have been made

MSC Class: Primary 03E55; 54D20; Secondary 54F05

Chain Logic and Shelah's Infinitary Logic

Authors: Mirna Džamonja, Jouko Väänänen

Abstract: For a cardinal of the form $κ=\beth_κ$, Shelah's logic $L^1_κ$ has a characterisation as the maximal logic above $\bigcup_{λ<κ} L_{λ, ω}$ satisfying Strong Undefinability of Well Order (SUDWO). SUDWO is a strengthening of the Undefinability of Well Order (UDWO). We prove that if $κ$ is singular of countable cofinality, Karp's chain logic \cite{Karpintroduceschain} is above $L^1_κ$, while it is alr… ▽ More For a cardinal of the form $κ=\beth_κ$, Shelah's logic $L^1_κ$ has a characterisation as the maximal logic above $\bigcup_{λ<κ} L_{λ, ω}$ satisfying Strong Undefinability of Well Order (SUDWO). SUDWO is a strengthening of the Undefinability of Well Order (UDWO). We prove that if $κ$ is singular of countable cofinality, Karp's chain logic \cite{Karpintroduceschain} is above $L^1_κ$, while it is already known that it satisfies UDWO and Interpolation. Moreover, we show that in these circumstances, the chain logic is -- in a sense -- maximal among logics with chain models to satisfy UDWO. We then show that the chain logic gives a partial solution to Problem 1.4. from Shelah's \cite{Sh797}, which asked whether for $κ$ singular of countable cofinality there was a logic strictly between $ L_{κ^+, ω}$ and $L_{κ^+, κ^+}$ having Interpolation. We show that modulo accepting as the upper bound a model class of $L_{κ, κ}$, Karp's chain logic satisfies the required properties. In addition, we show that this chain logic is not $κ$-compact, a question that we have asked on various occasions. We contribue to the further development of chain logic by proving the Union Lemma and identifying the chain-independent fragment of the logic, showing that it still has considerable expressive power. In conclusion, we have shown that the simply defined chain logic emulates the logic $L^1_κ$ in satisfying Interpolation, undefinability of well-order and maximality with respect to it, and the Union Lemma. In addition it has a Completeness Theorem. △ Less

Submitted 21 July, 2021; v1 submitted 3 August, 2019; originally announced August 2019.

Comments: This version is the final autors' version. The paper is to appear in the Israel Journal of Mathematics

Iteration of strongly $κ^+$-cc forcing posets

Authors: James Cummings, Mirna Džamonja, Itay Neeman

Abstract: We prove some iteration theorems for a certain class of $κ^+$-cc forcing posets. We prove some iteration theorems for a certain class of $κ^+$-cc forcing posets. △ Less

Submitted 13 November, 2018; originally announced November 2018.

A new foundational crisis in mathematics, is it really happening?

Authors: Mirna Džamonja

Abstract: The article reconsiders the position of the foundations of mathematics after the discovery of HoTT. Discussion that this discovery has generated in the community of mathematicians, philosophers and computer scientists might indicate a new crisis in the foundation of mathematics. By examining the mathematical facts behind HoTT and their relation with the existing foundations, we conclude that the p… ▽ More The article reconsiders the position of the foundations of mathematics after the discovery of HoTT. Discussion that this discovery has generated in the community of mathematicians, philosophers and computer scientists might indicate a new crisis in the foundation of mathematics. By examining the mathematical facts behind HoTT and their relation with the existing foundations, we conclude that the present crisis is not one. We reiterate a pluralist vision of the foundations of mathematics. The article contains a short survey of the mathematical and historical background needed to understand the main tenets of the foundational issues. △ Less

Submitted 14 April, 2019; v1 submitted 17 February, 2018; originally announced February 2018.

Comments: Final version

On Ordinal Invariants in Well Quasi Orders and Finite Antichain Orders

Authors: Mirna Džamonja, Sylvain Schmitz, Philippe Schnoebelen

Abstract: We investigate the ordinal invariants height, length, and width of well quasi orders (WQO), with particular emphasis on width, an invariant of interest for the larger class of orders with finite antichain condition (FAC). We show that the width in the class of FAC orders is completely determined by the width in the class of WQOs, in the sense that if we know how to calculate the width of any WQO t… ▽ More We investigate the ordinal invariants height, length, and width of well quasi orders (WQO), with particular emphasis on width, an invariant of interest for the larger class of orders with finite antichain condition (FAC). We show that the width in the class of FAC orders is completely determined by the width in the class of WQOs, in the sense that if we know how to calculate the width of any WQO then we have a procedure to calculate the width of any given FAC order. We show how the width of WQO orders obtained via some classical constructions can sometimes be computed in a compositional way. In particular, this allows proving that every ordinal can be obtained as the width of some WQO poset. One of the difficult questions is to give a complete formula for the width of Cartesian products of WQOs. Even the width of the product of two ordinals is only known through a complex recursive formula. Although we have not given a complete answer to this question we have advanced the state of knowledge by considering some more complex special cases and in particular by calculating the width of certain products containing three factors. In the course of writing the paper we have discovered that some of the relevant literature was written on cross-purposes and some of the notions re-discovered several times. Therefore we also use the occasion to give a unified presentation of the known results. ERRATUM:We incorrectly claimed in Lemma 4.4(1) the formula $o(P\cdot Q)=o(P)\cdot o(Q)$ for wpos $P$ and $Q$ and incorrectly attributed it to Abraham and Bonnet. We incorrectly claimed in 4.4(2) that the formula for $h(P\cdot Q)$ was due to Abraham and Bonnet. △ Less

Submitted 28 January, 2025; v1 submitted 1 November, 2017; originally announced November 2017.

MSC Class: 03; 05

Graphons arising from graphs definable over finite fields

Authors: Mirna Džamonja, Ivan Tomašić

Abstract: We prove a version of Tao's algebraic regularity lemma for asymptotic classes in the context of graphons. We apply it to study expander difference polynomials over fields with powers of Frobenius. We prove a version of Tao's algebraic regularity lemma for asymptotic classes in the context of graphons. We apply it to study expander difference polynomials over fields with powers of Frobenius. △ Less

Submitted 1 January, 2022; v1 submitted 19 July, 2017; originally announced July 2017.

Comments: This is the final accepted version of the paper, which is to appear in Colloquium Mathematicum

MSC Class: 03C60; 11G25 (Primary); 05C25; 14G15 (Secondary)

Some Banach spaces added by a Cohen real

Authors: Mirna Džamonja

Abstract: We study certain Banach spaces that are added in the extension by one Cohen real. Specifically, we show that adding just one Cohen real to any model adds a Banach space of density $\aleph_1$ which does not embed into any such space in the ground model such a Banach space can be chosen to be UG This has consequences on the the isomorphic universality number for Banach spaces of density $\aleph_1$,… ▽ More We study certain Banach spaces that are added in the extension by one Cohen real. Specifically, we show that adding just one Cohen real to any model adds a Banach space of density $\aleph_1$ which does not embed into any such space in the ground model such a Banach space can be chosen to be UG This has consequences on the the isomorphic universality number for Banach spaces of density $\aleph_1$, which is hence equal to $\aleph_2$ in the standard Cohen model and the same is true for UG spaces. Analogous universality results for Banach spaces are true for other cardinals, by a different proof. △ Less

Submitted 9 May, 2015; v1 submitted 29 September, 2014; originally announced September 2014.

Comments: The version to appear in Topology and Its Applications arXiv admin note: substantial text overlap with arXiv:1308.3640

The singular world of singular cardinals

Authors: Mirna Džamonja

Abstract: The article uses two examples to explore the statement that, contrary to the common wisdom, the properties of singular cardinals are actually more intuitive than those of the regular ones. The article uses two examples to explore the statement that, contrary to the common wisdom, the properties of singular cardinals are actually more intuitive than those of the regular ones. △ Less

Submitted 17 September, 2014; originally announced September 2014.

Comments: To appear in Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics Edited by Åsa Hirvonen, Juha Kontinen, Roman Kossak and Andrés Villaveces

MSC Class: 03E05

Small universal families of graphs on $\aleph_{ω+1}$

Authors: James Cummings, Mirna Džamonja, Charles Morgan

Abstract: We prove that it is consistent that $\aleph_ω$ is strong limit, $2^{\aleph_ω}$ is large and the universality number for graphs on $\aleph_{ω+1}$ is small. The proof uses Prikry forcing with interleaved collapsing. We prove that it is consistent that $\aleph_ω$ is strong limit, $2^{\aleph_ω}$ is large and the universality number for graphs on $\aleph_{ω+1}$ is small. The proof uses Prikry forcing with interleaved collapsing. △ Less

Submitted 18 August, 2014; originally announced August 2014.

MSC Class: 03E35

A Framework for Forcing Constructions at Successors of Singular Cardinals

Authors: James Cummings, Mirna Džamonja, Menachem Magidor, Charles Morgan, Saharon Shelah

Abstract: We describe a framework for proving consistency results about singular cardinals of arbitrary cofinality and their successors. This framework allows the construction of models in which the Singular Cardinals Hypothesis fails at a singular cardinal of uncountable cofinality, while its successor enjoys various combinatorial properties. As a sample application, we prove the consistency (relative to… ▽ More We describe a framework for proving consistency results about singular cardinals of arbitrary cofinality and their successors. This framework allows the construction of models in which the Singular Cardinals Hypothesis fails at a singular cardinal of uncountable cofinality, while its successor enjoys various combinatorial properties. As a sample application, we prove the consistency (relative to that of ZFC plus a supercompact cardinal) of there being a strong limit singular cardinal $κ$ of uncountable cofinality where SCH fails and for which there is a collection of graphs on $κ^+$ whose size is less than $2^κ$ and such that any graph on $κ^+$ embeds into one of the graphs in the collection. △ Less

Submitted 19 May, 2016; v1 submitted 26 March, 2014; originally announced March 2014.

Comments: 53 pages

MSC Class: 03E35; 03E55; 03E75

Isomorphic universality and the number of pairwise non-isomorphic models in the class of Banach spaces

Authors: Mirna Džamonja

Abstract: We study isomorphic universality of Banach spaces of a given density and a number of pairwise non-isomorphic models in the same class. We show that in the Cohen model the isomorphic universality number for Banach spaces of density $\aleph_1$ is $\aleph_2$, and analogous results are true for other cardinals (Theorem 1.2(1)) and that adding just one Cohen real to any model destroys the old universal… ▽ More We study isomorphic universality of Banach spaces of a given density and a number of pairwise non-isomorphic models in the same class. We show that in the Cohen model the isomorphic universality number for Banach spaces of density $\aleph_1$ is $\aleph_2$, and analogous results are true for other cardinals (Theorem 1.2(1)) and that adding just one Cohen real to any model destroys the old universality of Banach spaces of density $\aleph_1$ (Theorem 1.5). Moreover, adding one Cohen real adds a weakly compactly generated Banach space of density $\aleph_1$ which does not embed into any Banach space of density $\aleph_1$ in the ground model. We develop the framework of natural spaces to study isomorphic embeddings of Banach spaces and use it to show that a sufficient failure of the generalized continuum hypothesis implies that the universality number of Banach spaces of a given density under a certain kind of positive embeddings (very positive embeddings), is high (Theorem 4.8(1)), and similarly for the number of pairwise non-isomorphic models (Theorem 4.8(2)). △ Less

Submitted 20 September, 2013; v1 submitted 16 August, 2013; originally announced August 2013.

Comments: version 2

MSC Class: 03E75; 46B26; 46B03; 03C45; 06E15

On the isomorphism problem for measures on Boolean algebras

Authors: Piotr Borodulin-Nadzieja, Mirna Džamonja

Abstract: The paper investigates possible generalisations of Maharam's theorem to a classification of Boolean algebras that support a finitely additive measure. We prove that Boolean algebras that support a finitely additive non-atomic uniformly regular measure are metrically isomorphic to a subalgebras of the Jordan algebra with the Lebesgue measure. We give some partial analogues to be used for a classifi… ▽ More The paper investigates possible generalisations of Maharam's theorem to a classification of Boolean algebras that support a finitely additive measure. We prove that Boolean algebras that support a finitely additive non-atomic uniformly regular measure are metrically isomorphic to a subalgebras of the Jordan algebra with the Lebesgue measure. We give some partial analogues to be used for a classification of algebras that support a finitely additive non-atomic measure with a higher uniform regularity number. We show that some naturally induced equivalence relations connected to metric isomorphism are quite complex even on the Cantor algebra and therefore probably we cannot hope for a nice general classification theorem for finitely--additive measures. We present an example of a Boolean algebra which supports only separable measures but no uniformly regular one. △ Less

Submitted 6 May, 2011; originally announced May 2011.

Forcing Square_{omega_1} with finite conditions

Authors: Gregor K. Dolinar, Mirna Džamonja

Abstract: We give a forcing construction of the square principle on omega_1 using forcing with conditions whose domain is finite. We give a forcing construction of the square principle on omega_1 using forcing with conditions whose domain is finite. △ Less

Submitted 2 October, 2010; originally announced October 2010.

MSC Class: 03E35

Introducing a nontrivial square_omega

Authors: Gregor K. Dolinar, Mirna Dzamonja

Abstract: We define a nontrivial version of the square principle $\Box_ω$, which we then show consistent by means of forcing with finite conditions. This paper has been withdrawn by the author due to the fact that the presented $\Box_ω$ can be constructed in ZFC, as shown by Lajos Soukup and Philip Welch. Note, that the forcing itself has not been found flawed. We define a nontrivial version of the square principle $\Box_ω$, which we then show consistent by means of forcing with finite conditions. This paper has been withdrawn by the author due to the fact that the presented $\Box_ω$ can be constructed in ZFC, as shown by Lajos Soukup and Philip Welch. Note, that the forcing itself has not been found flawed. △ Less

Submitted 16 July, 2010; v1 submitted 14 March, 2010; originally announced March 2010.

Comments: This paper has been withdrawn by the author. 7 pages

MSC Class: 03E05; 03E35

CH, a problem of Rolewicz and bidiscrete systems

Authors: MIrna Dzamonja, Istvan Juhasz

Abstract: We give a construction under $CH$ of a non-metrizable compact Hausdorff space $K$ such that any uncountable semi-biorthogonal sequence in $C(K)$ must be of a very specific kind. The space $K$ has many nice properties, such as being hereditarily separable, hereditarily Lindelöf and a 2-to-1 continuous preimage of a metric space, and all Radon measures on $K$ are separable. However $K$ is not a Ro… ▽ More We give a construction under $CH$ of a non-metrizable compact Hausdorff space $K$ such that any uncountable semi-biorthogonal sequence in $C(K)$ must be of a very specific kind. The space $K$ has many nice properties, such as being hereditarily separable, hereditarily Lindelöf and a 2-to-1 continuous preimage of a metric space, and all Radon measures on $K$ are separable. However $K$ is not a Rosenthal compactum. We introduce the notion of bidiscrete systems in compact spaces and note that every infinite compact Hausdorff space $K$ must have a bidiscrete system of size $d(K)$, the density of $K$. This, in particular, implies that $C(K)$ has a biorthogonal system of size $d(K)$. △ Less

Submitted 3 November, 2009; v1 submitted 16 October, 2009; originally announced October 2009.

On $D$-spaces and Discrete Families of Sets

Authors: Mirna Dzamonja

Abstract: We prove several reflection theorems on $D$-spaces, which are Hausdorff topological spaces $X$ in which for every open neighbourhood assignment $U$ there is a closed discrete subspace $D$ such that \[ \bigcup\{U(x): x\in D\}=X. \] The upwards reflection theorems are obtained in the presence of a forcing axiom, while most of the downwards reflection results use large cardinal assumptions. The c… ▽ More We prove several reflection theorems on $D$-spaces, which are Hausdorff topological spaces $X$ in which for every open neighbourhood assignment $U$ there is a closed discrete subspace $D$ such that \[ \bigcup\{U(x): x\in D\}=X. \] The upwards reflection theorems are obtained in the presence of a forcing axiom, while most of the downwards reflection results use large cardinal assumptions. The combinatorial content of arguments showing that a given space is a $D$-space, can be formulated using the concept of discrete families. We note the connection between non-reflection arguments involving discrete families and the well known question of the existence of families allowing partial transversals without having a transversal themselves, and use it to give non-trivial instances of the incompactness phenomenon in the context of discretisations. △ Less

Submitted 7 November, 2008; originally announced November 2008.

Comments: and old paper, the previous version on arxiv only contained the latex macros

MSC Class: 03E35; 54E20; 03E55

Journal ref: On $D$-spaces and Discrete Families of Sets, in AMS, DIMACS: Series in Discrete Mathematics and Theoretical Computer Sciences, ed. by S. Thomas 58 (2002), pg. 45-63

Parametrized $\diamondsuit$ principles

Authors: Justin Tatch Moore, Michael Hrušák, Mirna Džamonja

Abstract: We will present a collection of guessing principles which have a similar relationship to $\diamond$ as cardinal invariants of the continuum have to $\CH$. The purpose is to provide a means for systematically analyzing $\diamond$ and its consequences. It also provides for a unified approach for understanding the status of a number of consequences of $\CH$ and $\diamond$ in models such as those of… ▽ More We will present a collection of guessing principles which have a similar relationship to $\diamond$ as cardinal invariants of the continuum have to $\CH$. The purpose is to provide a means for systematically analyzing $\diamond$ and its consequences. It also provides for a unified approach for understanding the status of a number of consequences of $\CH$ and $\diamond$ in models such as those of Laver, Miller, and Sacks. △ Less

Submitted 25 August, 2006; originally announced August 2006.

MSC Class: 03E17; 03E65

Journal ref: Transactions of the American Mathematical Society, vol. 356 (2004), pg. 2281-2306

On club-like principles on regular cardinals above $\beth_ω$

Authors: Mirna Džamonja

Abstract: We prove that for regular $λ$ above a strong limit singular $μ$ certain guessing principles follow just from cardinal arithmetic assumptions. The main result is that for such $λ$ and $μ$ there are coboundedly many regular $κ<μ$ such that $\clubsuit^-(S^λ_κ)$ holds whenever $λ=λ^{<κ}$. We prove that for regular $λ$ above a strong limit singular $μ$ certain guessing principles follow just from cardinal arithmetic assumptions. The main result is that for such $λ$ and $μ$ there are coboundedly many regular $κ<μ$ such that $\clubsuit^-(S^λ_κ)$ holds whenever $λ=λ^{<κ}$. △ Less

Submitted 25 August, 2006; originally announced August 2006.

Journal ref: Acta Universitatis Carolinae Mathematica et Physica, vol. 42 no. 2, (2001), pg. 27-32

On $D$-spaces and Discrete Families of Sets

Authors: Mirna Džamonja

Abstract: We prove several reflection theorems on $D$-spaces, which are Hausdorff topological spaces $X$ in which for every open neighbourhood assignment $U$ there is a closed discrete subspace $D$ such that \[ \bigcup\{U(x): x\in D\}=X. \] The upwards reflection theorems are obtained in the presence of a forcing axiom, while most of the downwards reflection results use large cardinal assumptions. The c… ▽ More We prove several reflection theorems on $D$-spaces, which are Hausdorff topological spaces $X$ in which for every open neighbourhood assignment $U$ there is a closed discrete subspace $D$ such that \[ \bigcup\{U(x): x\in D\}=X. \] The upwards reflection theorems are obtained in the presence of a forcing axiom, while most of the downwards reflection results use large cardinal assumptions. The combinatorial content of arguments showing that a given space is a $D$-space, can be formulated using the concept of discrete families. We note the connection between non-reflection arguments involving discrete families and the well known question of the existence of families allowing partial transversals without having a transversal themselves, and use it to give non-trivial instances of the incompactness phenomenon in the context of discretisations. △ Less

Submitted 25 August, 2006; originally announced August 2006.

MSC Class: 03E35; 54E20; 03E55

Journal ref: in AMS, DIMACS: Series in Discrete Mathematics and Theoretical Computer Sciences, ed. by S. Thomas 58 (2002), 45-63

A general Stone representation theorem

Authors: Mirna Džamonja

Abstract: This note contains a Stone-style representation theorem for compact Hausdorff spaces. This note contains a Stone-style representation theorem for compact Hausdorff spaces. △ Less

Submitted 15 August, 2006; originally announced August 2006.

Comments: This is a research note

An application of CAT

Authors: Mirna Džamonja, Jean Larson

Abstract: We comment on a question of Justin Moore on colourings of pairs of nodes in an Aronszajn tree and solve an instance of it. We comment on a question of Justin Moore on colourings of pairs of nodes in an Aronszajn tree and solve an instance of it. △ Less

Submitted 15 August, 2006; originally announced August 2006.

Comments: A research note

Measure Recognition Problem

Authors: Mirna Džamonja

Abstract: This is an article in mathematics, specifically in set theory. On the example of the Measure Recognition Problem (MRP) the article highlights the phenomenon of the utility of a multidisciplinary mathematical approach to a single mathematical problem, in particular the value of a set-theoretic analysis. MRP asks if for a given Boolean algebra $\algB$ and a property $Φ$ of measures one can recogni… ▽ More This is an article in mathematics, specifically in set theory. On the example of the Measure Recognition Problem (MRP) the article highlights the phenomenon of the utility of a multidisciplinary mathematical approach to a single mathematical problem, in particular the value of a set-theoretic analysis. MRP asks if for a given Boolean algebra $\algB$ and a property $Φ$ of measures one can recognize by purely combinatorial means if $\algB$ supports a strictly positive measure with property $Φ$. The most famous instance of this problem is MRP(countable additivity), and in the first part of the article we survey the known results on this and some other problems. We show how these results naturally lead to asking about two other specific instances of the problem MRP, namely MRP(nonatomic) and MRP(separable). Then we show how our recent work D\v zamonja and Plebanek (2006) gives an easy solution to the former of these problems, and gives some partial information about the latter. The long term goal of this line of research is to obtain a structure theory of Boolean algebras that support a finitely additive strictly positive measure, along the lines of Maharam theorem which gives such a structure theorem for measure algebras. △ Less

Submitted 14 August, 2006; originally announced August 2006.

Club guessing and the universal models

Authors: Mirna Džamonja

Abstract: We survey the use of club guessing and other pcf constructs in the context of showing that a given partially ordered class of objects does not have a largest, or a universal element. We survey the use of club guessing and other pcf constructs in the context of showing that a given partially ordered class of objects does not have a largest, or a universal element. △ Less

Submitted 14 August, 2006; originally announced August 2006.

MSC Class: 03C55; 03E04; 03C45

Journal ref: Notre Dame Journal of Formal Logic, vol. 46, No. 3, (2005), pg. 283-300

A partition theorem for a large dense linear order

Authors: M. Dzamonja, J. Larson, W. Mitchell

Abstract: Let Q_K=(Q,<_Q)$ be a strongly K-dense linear order of size K for a suitable cardinal K. We prove, for all integers m > 1 that there is a finite value t_m^+ such that the set of all m-tuples from Q can be divided into t_m^+ many classes, such that whenever any of these classes C is colored with fewer than K many colors, there is a copy Q* of Q_K such that all m-tuples from Q* in C receive the sa… ▽ More Let Q_K=(Q,<_Q)$ be a strongly K-dense linear order of size K for a suitable cardinal K. We prove, for all integers m > 1 that there is a finite value t_m^+ such that the set of all m-tuples from Q can be divided into t_m^+ many classes, such that whenever any of these classes C is colored with fewer than K many colors, there is a copy Q* of Q_K such that all m-tuples from Q* in C receive the same color. As a consequence we obtain that whenever we color the m-tuples of Q with fewer than K many colors, there is a copy of Q_K all m-tuples from which are colored in at most t_m^+ colors. In other words, the partition relation Q_K -->(Q_K)^m_{<K,r} holds for some finite r=t_m^+. We show that t_m^+ is the minimal value with this property. We were not able to give a formula for t_m^+ but we can describe t_m^+ as the cardinality of a certain finite set of types. We give an upper and a lower bound on its value and for m=2 we obtain t_2^+ = 2, while for m>2 we have t_m^+ > t_m, the m-th tangent number. The paper also contains similar partition results about K-Rado graphs. A consequence of our work and some earlier results of Hajnal and Komjath is that a theorem of Shelah known to follow from a large cardinal assumption in a generic extension, does not follow from any large cardinal assumption on its own. △ Less

Submitted 7 June, 2005; originally announced June 2005.

Comments: LaTeX, 77 pages, 3 figures

MSC Class: 03E02 (primary); 03E35 (secondary)

Diamond (on the regulars) can fail at any strongly unfoldable cardinal

Authors: Joel David Hamkins, Mirna Džamonja

Abstract: If kappa is any strongly unfoldable cardinal, then this is preserved in a forcing extension in which Diamond_kappa(REG) fails. This result continues the progression of the corresponding results for weakly compact cardinals, due to Woodin, and for indescribable cardinals, due to Hauser. If kappa is any strongly unfoldable cardinal, then this is preserved in a forcing extension in which Diamond_kappa(REG) fails. This result continues the progression of the corresponding results for weakly compact cardinals, due to Woodin, and for indescribable cardinals, due to Hauser. △ Less

Submitted 17 September, 2004; originally announced September 2004.

Comments: 25 pages

MSC Class: 03E55; 03E35; 03E05

Universal graphs at the successor of a singular cardinal

Authors: Mirna Džamonja, Saharon Shelah

Abstract: The paper is concerned with the existence of a universal graph at the successor of a strong limit singular mu of cofinality aleph_0. Starting from the assumption of the existence of a supercompact cardinal, a model is built in which for some such mu there are mu^{++} graphs on mu^+ that taken jointly are universal for the graphs on mu^+, while 2^{mu^+}>> mu^{++} . The paper also addresses the ge… ▽ More The paper is concerned with the existence of a universal graph at the successor of a strong limit singular mu of cofinality aleph_0. Starting from the assumption of the existence of a supercompact cardinal, a model is built in which for some such mu there are mu^{++} graphs on mu^+ that taken jointly are universal for the graphs on mu^+, while 2^{mu^+}>> mu^{++} . The paper also addresses the general problem of obtaining a framework for consistency results at the successor of a singular strong limit starting from the assumption that a supercompact cardinal kappa exists. The result on the existence of universal graphs is obtained as a specific application of a more general method. △ Less

Submitted 6 February, 2001; originally announced February 2001.

Report number: Shelah [DjSh:659] MSC Class: 03E35; 03E55; 03E75

On triangleleft^*-maximality

Authors: Mirna Džamonja, Saharon Shelah

Abstract: This paper investigates a connection between the ordering triangleleft^ast among theories in model theory and the (N)SOP_n hierarchy of Shelah. It introduces two properties which are natural extensions of this hierarchy, called SOP_2 and SOP_1, and gives a strong connection between SOP_1 and the maximality in Keisler ordering. Together with the known results about the connection between the (N)SOP… ▽ More This paper investigates a connection between the ordering triangleleft^ast among theories in model theory and the (N)SOP_n hierarchy of Shelah. It introduces two properties which are natural extensions of this hierarchy, called SOP_2 and SOP_1, and gives a strong connection between SOP_1 and the maximality in Keisler ordering. Together with the known results about the connection between the (N)SOP_n hierarchy and the existence of universal models in the absence of GCH, the paper provides a step toward the classification of unstable theories without the strict order property. △ Less

Submitted 14 April, 2011; v1 submitted 8 September, 2000; originally announced September 2000.

Report number: Shelah [DjSh:692]

On properties of theories which preclude the existence of universal models

Authors: Mirna Džamonja, Saharon Shelah

Abstract: In this paper we investigate some properties of first order theories which prevent them from having universal models under certain cardinal arithmetic assumptions. Our results give a new syntactical condition, oak property, which is a sufficient condition for a theory not to have universal models in cardinality lambda when certain cardinal arithmetic assumptions implying the failure of GCH (and… ▽ More In this paper we investigate some properties of first order theories which prevent them from having universal models under certain cardinal arithmetic assumptions. Our results give a new syntactical condition, oak property, which is a sufficient condition for a theory not to have universal models in cardinality lambda when certain cardinal arithmetic assumptions implying the failure of GCH (and close to the failure of SCH) hold. △ Less

Submitted 7 September, 2000; originally announced September 2000.

Report number: Shelah [DjSh:710]

Weak reflection at the successor of singular

Authors: Mirna Džamonja, Saharon Shelah

Abstract: The notion of stationary reflection is one of the most important notions of combinatorial set theory. We investigate weak reflection, which is, as the name suggests, a weak version of stationary reflection. This sort of reflection was introduced in [DjSh:545] (math.LO/9601219), where it was shown that weak reflection has applications to various guessing principles, in the sense that if there is… ▽ More The notion of stationary reflection is one of the most important notions of combinatorial set theory. We investigate weak reflection, which is, as the name suggests, a weak version of stationary reflection. This sort of reflection was introduced in [DjSh:545] (math.LO/9601219), where it was shown that weak reflection has applications to various guessing principles, in the sense that if there is no weak reflection, than a guessing principle holds, and an application dealing with the saturation of normal filters. Further investigations of weak reflection were carried in [CDSh:571] (math.LO/9504221) and [CuSh:596] (math.LO/9703219). While various ZFC restrictions on the one hand, and independence results on the other, were discovered about the weak reflection, the question of the relative consistency of the existence of a regular cardinal kappa such that the first cardinal weakly reflecting at kappa is a successor of singular, remained open. This paper answers that question by proving that (modulo large cardinal assumptions close to 2-hugeness) that there indeed can be such a cardinal kappa. △ Less

Submitted 20 March, 2000; originally announced March 2000.

Report number: Shelah [DjSh:691] MSC Class: 03E05; 03E35; 03E55

On versions of clubsuit on cardinals larger than aleph_1

Authors: Mirna Džamonja, Saharon Shelah

Abstract: We give two results on guessing unbounded subsets of lambda^+. The first is a positive result and applies to the situation of lambda regular and at least equal to aleph_3, while the second is a negative consistency result which applies to the situation of lambda a singular strong limit with 2^lambda>lambda^+. The first result shows that in ZFC there is a guessing of unbounded subsets of S^{lambd… ▽ More We give two results on guessing unbounded subsets of lambda^+. The first is a positive result and applies to the situation of lambda regular and at least equal to aleph_3, while the second is a negative consistency result which applies to the situation of lambda a singular strong limit with 2^lambda>lambda^+. The first result shows that in ZFC there is a guessing of unbounded subsets of S^{lambda^+}_lambda. The second result is a consistency result (assuming a supercompact cardinal exists) showing that a natural guessing fails. A result of Shelah in math.LO/9808140 shows that if 2^lambda=lambda^+ and lambda is a strong limit singular, then the corresponding guessing holds. Both results are also connected to an earlier result of Dzamonja and Shelah in which they showed that a certain version of clubsuit holds at a successor of singular just in ZFC. The first result here shows that a result of math.LO/9601219 can to a certain extent be extended to the successor of a regular. The negative result here gives limitations to the extent to which one can hope to extend this result. △ Less

Submitted 28 November, 1999; originally announced November 1999.

Report number: Shelah [DjSh:685] MSC Class: 03E05; 03E35; 04A20

On the existence of universal models

Authors: Mirna Džamonja, Saharon Shelah

Abstract: Suppose that $λ=λ^{<λ} \ge\aleph_0$, and we are considering a theory $T$. We give a criterion on $T$ which is sufficient for the consistent existence of $λ^{++}$ universal models of $T$ of size $λ^+$ for models of $T$ of size $\leλ^+$, and is meaningful when $2^{λ^+}>λ^{++}$. In fact, we work more generally with abstract elementary classes. The criterion for the consistent existence of universal… ▽ More Suppose that $λ=λ^{<λ} \ge\aleph_0$, and we are considering a theory $T$. We give a criterion on $T$ which is sufficient for the consistent existence of $λ^{++}$ universal models of $T$ of size $λ^+$ for models of $T$ of size $\leλ^+$, and is meaningful when $2^{λ^+}>λ^{++}$. In fact, we work more generally with abstract elementary classes. The criterion for the consistent existence of universals applies to various well known theories, such as triangle-free graphs and simple theories. Having in mind possible applications in analysis, we further observe that for such $λ$, for any fixed $μ>λ^+$ regular with $μ=μ^{λ^+}$, it is consistent that $2^λ=μ$ and there is no normed vector space over ${\Bbf Q}$ of size $<μ$ which is universal for normed vector spaces over ${\Bbf Q}$ of dimension $λ^+$ under the notion of embedding $h$ which specifies $(a,b)$ such that $\norm{h(x)}/\norm{x}\in (a,b)$ for all $x$. △ Less

Submitted 20 August, 2006; v1 submitted 14 May, 1998; originally announced May 1998.

Report number: Shelah [DjSh:614]

Journal ref: Archive for Mathematical Logic, vol. 43 (2004), pg. 901-936

Similar but not the same: various versions of club do not coincide

Authors: Mirna Džamonja, Saharon Shelah

Abstract: Various versions of club are shown to be different. A question of Soukup, Fuchino and Juhasz, is it consistent to have a stick without club, is answered as a consequence. The more detailed version of the paper, which is coming up, also answers a question of Galvin. Various versions of club are shown to be different. A question of Soukup, Fuchino and Juhasz, is it consistent to have a stick without club, is answered as a consequence. The more detailed version of the paper, which is coming up, also answers a question of Galvin. △ Less

Submitted 14 October, 1997; originally announced October 1997.

Report number: Shelah [DjSh:574]

A note on some versions of club

Authors: Mirna Džamonja, Saharon Shelah

Abstract: This note gives two results on guessing unbounded subsets of lambda^+. The first is a positive result and applies to the situation of lambda regular, while the second is a negative consistency result which applies to the situation of lambda singular. Both results are connected to an earlier result of the same authors in which they showed that a certain version of clubsuit holds at a successor of… ▽ More This note gives two results on guessing unbounded subsets of lambda^+. The first is a positive result and applies to the situation of lambda regular, while the second is a negative consistency result which applies to the situation of lambda singular. Both results are connected to an earlier result of the same authors in which they showed that a certain version of clubsuit holds at a successor of singular just in ZFC. The first result here shows that that fact can to a certain extent be extended to the successor of singular. The negative result here gives limitations to the extent to which one can hope to extend the afore mentioned fact. This note is presently only available as an electronic publication. It can be obtained as a ps file either from the e-prints archive, or from the authors' home pages. △ Less

Submitted 11 September, 1997; originally announced September 1997.

Report number: Logic E-prints September 12, 1997; Shelah [DjSh:F227]

Club does not imply the existence of a Suslin tree

Authors: Mirna Džamonja, Saharon Shelah

Abstract: We prove that club does not imply the existence of a Suslin tree, so answering a question of I. Juhasz. We prove that club does not imply the existence of a Suslin tree, so answering a question of I. Juhasz. △ Less

Submitted 23 August, 2019; v1 submitted 14 December, 1996; originally announced December 1996.

Comments: Proof is incorrect

Report number: Shelah [DjSh:604]

Saturated filters at successors of singulars, weak reflection and yet another weak club principle

Authors: Mirna Džamonja, Saharon Shelah

Abstract: Suppose that lambda is the successor of a singular cardinal mu whose cofinality is an uncountable cardinal kappa. We give a sufficient condition that the club filter of lambda concentrating on the points of cofinality kappa is not lambda^+-saturated. The condition is phrased in terms of a notion that we call weak reflection. We discuss various properties of weak reflection Suppose that lambda is the successor of a singular cardinal mu whose cofinality is an uncountable cardinal kappa. We give a sufficient condition that the club filter of lambda concentrating on the points of cofinality kappa is not lambda^+-saturated. The condition is phrased in terms of a notion that we call weak reflection. We discuss various properties of weak reflection △ Less

Submitted 14 January, 1996; originally announced January 1996.

Report number: Shelah [DjSh:545]

Journal ref: Ann. Pure Appl. Logic 79 (1996), 289--316

On squares, outside guessing of clubs and I_{<f}[lambda]

Authors: Mirna Džamonja, Saharon Shelah

Abstract: Suppose that lambda = mu^+. We consider two aspects of the square property on subsets of lambda. First, we have results which show e.g. that for aleph_0 <= kappa =cf (kappa)< mu, the equality cf([mu]^{<= kappa}, subseteq)= mu is a sufficient condition for the set of elements of lambda whose cofinality is bounded by kappa, to be split into the union of mu sets with squares. Secondly, we introduce… ▽ More Suppose that lambda = mu^+. We consider two aspects of the square property on subsets of lambda. First, we have results which show e.g. that for aleph_0 <= kappa =cf (kappa)< mu, the equality cf([mu]^{<= kappa}, subseteq)= mu is a sufficient condition for the set of elements of lambda whose cofinality is bounded by kappa, to be split into the union of mu sets with squares. Secondly, we introduce a certain weak version of the square property and prove that if mu is a strong limit, then this weak square property holds on lambda without any additional assumptions △ Less

Submitted 14 October, 1995; originally announced October 1995.

Report number: Shelah [DjSh:562]

Journal ref: Fund. Math. 148 (1995), 165--198

A consistency result on weak reflection

Authors: James Cummings, Mirna Džamonja, Saharon Shelah

Abstract: In this paper we study the notion of strong non-reflection, and its contrapositive weak reflection. We say theta strongly non-reflects at lambda iff there is a function F: theta ---> lambda such that for all alpha < theta with cf(alpha)= lambda there is C club in alpha such that F restriction C is strictly increasing. We prove that it is consistent to have a cardinal theta such that strong non-r… ▽ More In this paper we study the notion of strong non-reflection, and its contrapositive weak reflection. We say theta strongly non-reflects at lambda iff there is a function F: theta ---> lambda such that for all alpha < theta with cf(alpha)= lambda there is C club in alpha such that F restriction C is strictly increasing. We prove that it is consistent to have a cardinal theta such that strong non-reflection and weak reflection each hold on an unbounded set of cardinals less than theta . △ Less

Submitted 14 April, 1995; originally announced April 1995.

Report number: Shelah [CDSh:571]

Journal ref: Fund. Math. 148 (1995), 91--100

Properties of the Class of Measure Separable Compact Spaces

Authors: Mirna Džamonja, Kenneth Kunen

Abstract: We investigate properties of the class of compact spaces on which every regular Borel measure is separable. This class will be referred to as MS. We discuss some closure properties of MS, and show that some simply defined compact spaces, such as compact ordered spaces or compact scattered spaces, are in MS. Most of the basic theory for regular measures is true just in ZFC. On the other hand, t… ▽ More We investigate properties of the class of compact spaces on which every regular Borel measure is separable. This class will be referred to as MS. We discuss some closure properties of MS, and show that some simply defined compact spaces, such as compact ordered spaces or compact scattered spaces, are in MS. Most of the basic theory for regular measures is true just in ZFC. On the other hand, the existence of a compact ordered scattered space which carries a non-separable (non-regular) Borel measure is equivalent to the existence of a real-valued measurable cardinal less or equal to c. We show that not being in MS is preserved by all forcing extensions which do not collapse omega_1, while being in MS can be destroyed even by a ccc forcing. △ Less

Submitted 8 August, 1994; originally announced August 1994.

Report number: Logic E-prints August 09, 1994