A non-implication between fragments of Martin’s Axiom related to a property which comes from Aronszajn trees

We introduce a property of forcing notions, called the anti-, which comes from Aronszajn trees. This property canonically defines a new chain condition stronger than the countable chain condition, which is called the property .In this paper, we investigate the property . For example, we show that a forcing notion with the property does not add random reals. We prove that it is consistent that every forcing notion with the property has precaliber ℵ₁ and for forcing notions with the property fails. This negatively answers a part of one of the classical problems about implications between fragments of .     

Martin’s Axiom and embeddings of upper semi-lattices into the Turing degrees

It is shown that every locally countable upper semi-lattice of cardinality the continuum can be embedded into the Turing degrees, assuming Martin’s Axiom.     

Sacks forcing and the total failure of Martin's Axiom

Using side-by-side Sacks forcing, it is proved relatively consistent that the continuum is large and Martin's Axiom fails totally, that is, every c.c.c. space is the union of ?₁ nowhere dense sets (equivelently, if P is a nontrivial partial ordering with the countable chain condition, then there are ?₁ dense sets in P such that no filter in P meets them all).     

Erratum to “State-morphism MV-algebras” [Ann. Pure Appl. Logic 161 (2009) 161-173]

Recently, the first two authors characterized in Di Nola and Dvure?enskij (2009) [1] subdirectly irreducible state-morphism MV-algebras. Unfortunately, the main theorem (Theorem 5.4(ii)) has a gap in the proof of Claim 10, as the example below shows. We now present a correct characterization and its correct proof.     

The tree property at the double successor of a singular cardinal with a larger gap

Starting from a Laver-indestructible supercompact κ and a weakly compact λ above κ, we show there is a forcing extension where κ is a strong limit singular cardinal with cofinality ω, $2^{\kappa }={\kappa }^{+3}={\lambda }^{+}$, and the tree property holds at ${\kappa }^{++}=\lambda$. Next we generalize this result to an arbitrary cardinal μ such that $\kappa <\mathrm{cf}(\mu )$ and ${\lambda }^{+}\le \mu$. This result provides more information about possible relationships between the tree property and the continuum function.     

A combinatorial result related to the consistency of New Foundations

We prove a combinatorial result for models of the 4-fragment of the Simple Theory of Types (TST), TST₄. The result says that if A=〈A₀,A₁,A₂,A₃〉 is a standard transitive and rich model of TST₄, then A satisfies the 〈0,0,n〉-property, for all n≥2. This property has arisen in the context of the consistency problem of the theory New Foundations (NF). The result is a weak form of the combinatorial condition (existence of ω-extendible coherent triples) that was shown in Tzouvaras (2007) [5] to be equivalent to the consistency of NF. Such weak versions were introduced in Tzouvaras (2009) [6] in order to relax the intractability of the original condition. The result strengthens one of the main theorems of Tzouvaras (2007) [5, Theorem 3.6] which is just equivalent to the 〈0,0,2〉-property.     

On metric spaces with the Haver property which are Menger spaces

A metric space (X,d) has the Haver property if for each sequence ?₁,?₂,… of positive numbers there exist disjoint open collections V₁,V₂,… of open subsets of X, with diameters of members of Vi less than ?i and covering X, and the Menger property is a classical covering counterpart to σ-compactness. We show that, under Martin's Axiom MA, the metric square (X,d)×(X,d) of a separable metric space with the Haver property can fail this property, even if X² is a Menger space, and that there is a separable normed linear Menger space M such that (M,d) has the Haver property for every translation invariant metric d generating the topology of M, but not for every metric generating the topology. These results answer some questions by L. Babinkostova [L. Babinkostova, When does the Haver property imply selective screenability? Topology Appl. 154 (2007) 1971-1979; L. Babinkostova, Selective screenability in topological groups, Topology Appl. 156 (1) (2008) 2-9].     

A homeomorphism between strong measure zero sets whose graph is not of strong measure zero

Assuming Martin's axiom MA, we define a homeomorphism between two strong measure zero sets in the real line whose graph in not of strong measure zero in the plane. Using Michael's concentrated sets, we give also some refinements of this result, and we describe some singular subgroups of the group ZN.     

A consistent σ-compact sequential space which is not hereditarily weakly Whyburn

We prove that under a=c (in particular, under Martin's Axiom) there exists a regular σ-compact sequential space which is not hereditarily weakly Whyburn. This gives a consistent solution to a question, first formulated by V.V. Tkachuk and I.V. Yashenko, and then raised again by F. Obersnel.     

The Fréchet-Urysohn property of Pixley-Roy hyperspaces

Let F[X] be the Pixley-Roy hyperspace of a regular space X. In this paper, we prove the following theorem.

Theorem. For a space X, the following are equivalent:

(1)

F[X]is a k-space;

(2)

F[X]is sequential;

(3)

F[X]is Fréchet-Urysohn;

(4)

Every finite power of X is Fréchet-Urysohn for finite sets;

(5)

Every finite power ofF[X]is Fréchet-Urysohn for finite sets.

As an application, we improve a metrization theorem onF[X].     

A model of Cummings and Foreman revisited

This paper concerns the model of Cummings and Foreman where from ω   supercompact cardinals they obtain the tree property at each _ℵn${\mathrm{\aleph }}_n$ for 2≤n<ω$2\le n<\omega$. We prove some structural facts about this model. We show that the combinatorics at _ℵω+1${\mathrm{\aleph }}_{\omega +1}$ in this model depend strongly on the properties of _ω1${\omega }_1$ in the ground model. From different ground models for the Cummings–Foreman iteration we can obtain either _ℵω+1∈I[_ℵω+1]${\mathrm{\aleph }}_{\omega +1}\in I[{\mathrm{\aleph }}_{\omega +1}]$ and every stationary subset of _ℵω+1${\mathrm{\aleph }}_{\omega +1}$ reflects or there are a bad scale at _ℵω${\mathrm{\aleph }}_{\omega }$ and a non-reflecting stationary subset of _ℵω+1∩cof(_ω1)${\mathrm{\aleph }}_{\omega +1}\cap \mathrm{cof}({\omega }_1)$. We also prove that regardless of the ground model a strong generalization of the tree property holds at each _ℵn${\mathrm{\aleph }}_n$ for n≥2$n\ge 2$.     

Erratum to: “Multiple critical points of perturbed symmetric strongly indefinite functionals” [http://dx.doi.org/10.1016/j.anihpc.2008.06.002]

We correct the statement and the proof of Proposition 9 in [D. Bonheure, M. Ramos, Multiple critical points of perturbed symmetric strongly indefinite functionals, http://dx.doi.org/10.1016/j.anihpc.2008.06.002].     

A new proof of a theorem of Magidor

We give a new proof using iterated Prikry forcing of Magidor's theorem that it is consistent to assume that the least strongly compact cardinal is the least supercompact cardinal. Received: 8 December 1997 / Revised version: 12 November 1998     

Beyond Cartesian limits: Leibniz's passage from algebraic to “transcendental” mathematics

This article deals with Leibniz's reception of Descartes' “geometry.” Leibnizian mathematics was based on five fundamental notions: calculus, characteristic, art of invention, method, and freedom. On the basis of methodological considerations Leibniz criticized Descartes' restriction of geometry to objects that could be given in terms of algebraic (i.e., finite) equations: “Descartes's mind was the limit of science.” The failure of algebra to solve equations of higher degree led Leibniz to develop linear algebra, and the failure of algebra to deal with transcendental problems led him to conceive of a science of the infinite. Hence Leibniz reconstructed the mathematical corpus, created new (transcendental) notions, and redefined known notions (equality, exactness, construction), thus establishing “a veritable complement of algebra for the transcendentals”: infinite equations, i.e., infinite series, became inestimable tools of mathematical research.     

A note on rationality of orbital integrals on a P-adic group

We prove that if rational measures are used on p-adic reductive groups then the orbital integrals of any given smooth and compactly supported complex valued function belong to the field generated by the values of that function. We also show that the Shalika germs are then rational valued functions. As a consequence, we are able to show, in certain cases, that the coefficients appearing in the Harish-Chandra local character expansion are rational numbers. Research supported by NSERC     

Different versions of a first countable space without choice

We show that two versions of a first countable topological space which are equivalent in ZFC set theory split in the absence of the Axiom of Choice AC. This answers in the negative a related question from Gutierres “What is a first countable space?”.     

Covering a bounded set of functions by an increasing chain of slaloms

A slalom is a sequence of finite sets of length ω. Slaloms are ordered by coordinatewise inclusion with finitely many exceptions. Improving earlier results of Mildenberger, Shelah and Tsaban, we prove consistency results concerning existence and non-existence of an increasing sequence of a certain type of slaloms which covers a bounded set of functions in ωω.     

Lindelöf spaces which are Menger, Hurewicz, Alster, productive, or D

We discuss relationships in Lindelöf spaces among the properties “Menger”, “Hurewicz”, “Alster”, “productive”, and “D”.