for Journals by Title or ISSN for Articles by Keywords help

Publisher: Springer-Verlag (Total: 2352 journals)

 Archive for Mathematical Logic   [SJR: 0.946]   [H-I: 23]   [1 followers]  Follow         Hybrid journal (It can contain Open Access articles)    ISSN (Print) 1432-0665 - ISSN (Online) 0933-5846    Published by Springer-Verlag  [2352 journals]
• On the consistency strength of level by level inequivalence
• Authors: Arthur W. Apter
Pages: 715 - 723
Abstract: Abstract We show that the theories “ZFC $$+$$ There is a supercompact cardinal” and “ZFC $$+$$ There is a supercompact cardinal $$+$$ Level by level inequivalence between strong compactness and supercompactness holds” are equiconsistent.
PubDate: 2017-11-01
DOI: 10.1007/s00153-017-0538-7
Issue No: Vol. 56, No. 7-8 (2017)

• Strong measure zero and infinite games
• Authors: Fred Galvin; Jan Mycielski; Robert M. Solovay
Pages: 725 - 732
Abstract: Abstract We show that strong measure zero sets (in a $$\sigma$$ -totally bounded metric space) can be characterized by the nonexistence of a winning strategy in a certain infinite game. We use this characterization to give a proof of the well known fact, originally conjectured by K. Prikry, that every dense $$G_\delta$$ subset of the real line contains a translate of every strong measure zero set. We also derive a related result which answers a question of J. Fickett.
PubDate: 2017-11-01
DOI: 10.1007/s00153-017-0541-z
Issue No: Vol. 56, No. 7-8 (2017)

• Topological Ramsey spaces from Fraïssé classes, Ramsey-classification
theorems, and initial structures in the Tukey types of p-points
• Authors: Natasha Dobrinen; José G. Mijares; Timothy Trujillo
Pages: 733 - 782
Abstract: Abstract A general method for constructing a new class of topological Ramsey spaces is presented. Members of such spaces are infinite sequences of products of Fraïssé classes of finite relational structures satisfying the Ramsey property. The Product Ramsey Theorem of Sokič is extended to equivalence relations for finite products of structures from Fraïssé classes of finite relational structures satisfying the Ramsey property and the Order-Prescribed Free Amalgamation Property. This is essential to proving Ramsey-classification theorems for equivalence relations on fronts, generalizing the Pudlák–Rödl Theorem to this class of topological Ramsey spaces. To each topological Ramsey space in this framework corresponds an associated ultrafilter satisfying some weak partition property. By using the correct Fraïssé classes, we construct topological Ramsey spaces which are dense in the partial orders of Baumgartner and Taylor (Trans Am Math Soc 241:283–309, 1978) generating p-points which are k-arrow but not $$k+1$$ -arrow, and in a partial order of Blass (Trans Am Math Soc 179:145–166, 1973) producing a diamond shape in the Rudin-Keisler structure of p-points. Any space in our framework in which blocks are products of n many structures produces ultrafilters with initial Tukey structure exactly the Boolean algebra $$\mathcal {P}(n)$$ . If the number of Fraïssé classes on each block grows without bound, then the Tukey types of the p-points below the space’s associated ultrafilter have the structure exactly $$[\omega ]^{<\omega }$$ . In contrast, the set of isomorphism types of any product of finitely many Fraïssé classes of finite relational structures satisfying the Ramsey property and the OPFAP, partially ordered by embedding, is realized as the initial Rudin-Keisler structure of some p-point generated by a space constructed from our template.
PubDate: 2017-11-01
DOI: 10.1007/s00153-017-0540-0
Issue No: Vol. 56, No. 7-8 (2017)

• Same graph, different universe
• Authors: Assaf Rinot
Pages: 783 - 796
Abstract: Abstract May the same graph admit two different chromatic numbers in two different universes' How about infinitely many different values' and can this be achieved without changing the cardinals structure' In this paper, it is proved that in Gödel’s constructible universe, for every uncountable cardinal $$\mu$$ below the first fixed-point of the $$\aleph$$ -function, there exists a graph $$\mathcal G_\mu$$ satisfying the following: $$\mathcal G_\mu$$ has size and chromatic number $$\mu$$ ; for every infinite cardinal $$\kappa <\mu$$ , there exists a cofinality-preserving $${{\mathrm{GCH}}}$$ -preserving forcing extension in which $${{\mathrm{Chr}}}(\mathcal G_\mu )=\kappa$$ .
PubDate: 2017-11-01
DOI: 10.1007/s00153-017-0551-x
Issue No: Vol. 56, No. 7-8 (2017)

• Authors: David Asperó
Pages: 797 - 810
Abstract: Abstract I define a homogeneous $$\aleph _2$$ –c.c. proper product forcing for adding many clubs of $$\omega _1$$ with finite conditions. I use this forcing to build models of $$\mathfrak {b}(\omega _1)=\aleph _2$$ , together with $$\mathfrak {d}(\omega _1)$$ and $$2^{\aleph _0}$$ large and with very strong failures of club guessing at $$\omega _1$$ .
PubDate: 2017-11-01
DOI: 10.1007/s00153-017-0539-6
Issue No: Vol. 56, No. 7-8 (2017)

• Equimorphy: the case of chains
• Authors: C. Laflamme; M. Pouzet; R. Woodrow
Pages: 811 - 829
Abstract: Abstract Two structures are said to be equimorphic if each embeds in the other. Such structures cannot be expected to be isomorphic, and in this paper we investigate the special case of linear orders, here also called chains. In particular we provide structure results for chains having less than continuum many isomorphism classes of equimorphic chains. We deduce as a corollary that any chain has either a single isomorphism class of equimorphic chains or infinitely many.
PubDate: 2017-11-01
DOI: 10.1007/s00153-017-0545-8
Issue No: Vol. 56, No. 7-8 (2017)

• Katětov order on Borel ideals
• Authors: Michael Hrušák
Pages: 831 - 847
Abstract: Abstract We study the Katětov order on Borel ideals. We prove two structural theorems (dichotomies), one for Borel ideals, the other for analytic P-ideals. We isolate nine important Borel ideals and study the Katětov order among them. We also present a list of fundamental open problems concerning the Katětov order on Borel ideals.
PubDate: 2017-11-01
DOI: 10.1007/s00153-017-0543-x
Issue No: Vol. 56, No. 7-8 (2017)

• On constructions with 2-cardinals
• Authors: Piotr Koszmider
Pages: 849 - 876
Abstract: Abstract We propose developing the theory of consequences of morasses relevant in mathematical applications in the language alternative to the usual one, replacing commonly used structures by families of sets originating with Velleman’s neat simplified morasses called 2-cardinals. The theory of related trees, gaps, colorings of pairs and forcing notions is reformulated and sketched from a unifying point of view with the focus on the applicability to constructions of mathematical structures like Boolean algebras, Banach spaces or compact spaces. The paper is dedicated to the memory of Jim Baumgartner whose seminal joint paper (Baumgartner and Shelah in Ann Pure Appl Logic 33(2):109–129, 1987) with Saharon Shelah provided a critical mass in the theory in question. A new result which we obtain as a side product is the consistency of the existence of a function $$f:[\lambda ^{++}]^2\rightarrow [\lambda ^{++}]^{\le \lambda }$$ with the appropriate $$\lambda ^+$$ -version of property $$\Delta$$ for regular $$\lambda \ge \omega$$ satisfying $$\lambda ^{<\lambda }=\lambda$$ .
PubDate: 2017-11-01
DOI: 10.1007/s00153-017-0544-9
Issue No: Vol. 56, No. 7-8 (2017)

• In memoriam: James Earl Baumgartner (1943–2011)
• Authors: J. A. Larson
Pages: 877 - 909
Abstract: Abstract James Earl Baumgartner (March 23, 1943–December 28, 2011) came of age mathematically during the emergence of forcing as a fundamental technique of set theory, and his seminal research changed the way set theory is done. He made fundamental contributions to the development of forcing, to our understanding of uncountable orders, to the partition calculus, and to large cardinals and their ideals. He promulgated the use of logic such as absoluteness and elementary submodels to solve problems in set theory, he applied his knowledge of set theory to a variety of areas in collaboration with other mathematicians, and he encouraged a community of mathematicians with engaging survey talks, enthusiastic discussions of open problems, and friendly mathematical conversations.
PubDate: 2017-11-01
DOI: 10.1007/s00153-017-0546-7
Issue No: Vol. 56, No. 7-8 (2017)

• The nonstationary ideal on $$P_\kappa (\lambda )$$ P κ ( λ ) for
$$\lambda$$ λ singular
• Authors: Pierre Matet; Saharon Shelah
Pages: 911 - 934
Abstract: Abstract We give a new characterization of the nonstationary ideal on $$P_\kappa (\lambda )$$ in the case when $$\kappa$$ is a regular uncountable cardinal and $$\lambda$$ a singular strong limit cardinal of cofinality at least $$\kappa$$ .
PubDate: 2017-11-01
DOI: 10.1007/s00153-017-0552-9
Issue No: Vol. 56, No. 7-8 (2017)

• The sharp for the Chang model is small
• Authors: William J. Mitchell
Pages: 935 - 982
Abstract: Abstract Woodin has shown that if there is a measurable Woodin cardinal then there is, in an appropriate sense, a sharp for the Chang model. We produce, in a weaker sense, a sharp for the Chang model using only the existence of a cardinal $$\kappa$$ having an extender of length $$\kappa ^{+\omega _1}$$ .
PubDate: 2017-11-01
DOI: 10.1007/s00153-017-0547-6
Issue No: Vol. 56, No. 7-8 (2017)

• Two applications of finite side conditions at $$\omega _2$$ ω 2
• Authors: Itay Neeman
Pages: 983 - 1036
Abstract: Abstract We present two applications of forcing with finite sequences of models as side conditions, adding objects of size $$\omega _2$$ . The first involves adding a $$\Box _{\omega _1}$$ sequence and variants of such sequences. The second involves adding partial weak specializing functions for trees of height $$\omega _2$$ .
PubDate: 2017-11-01
DOI: 10.1007/s00153-017-0550-y
Issue No: Vol. 56, No. 7-8 (2017)

• Codings and strongly inaccessible cardinals
Pages: 1037 - 1044
Abstract: Abstract We show that a coding principle introduced by J. Moore with respect to all ladder systems is equiconsistent with the existence of a strongly inaccessible cardinal. We also show that a coding principle introduced by S. Todorcevic has consistency strength at least of a strongly inaccessible cardinal.
PubDate: 2017-11-01
DOI: 10.1007/s00153-017-0548-5
Issue No: Vol. 56, No. 7-8 (2017)

• Creature forcing and five cardinal characteristics in Cichoń’s
diagram
• Authors: Arthur Fischer; Martin Goldstern; Jakob Kellner; Saharon Shelah
Pages: 1045 - 1103
Abstract: Abstract We use a (countable support) creature construction to show that consistently \begin{aligned} \mathfrak d=\aleph _1= {{\mathrm{cov}}}(\mathcal N)< {{\mathrm{non}}}(\mathcal M)< {{\mathrm{non}}}(\mathcal N)< {{\mathrm{cof}}}(\mathcal N) < 2^{\aleph _0}. \end{aligned} The same method shows the consistency of \begin{aligned} \mathfrak d=\aleph _1= {{\mathrm{cov}}}(\mathcal N)< {{\mathrm{non}}}(\mathcal N)< {{\mathrm{non}}}(\mathcal M)< {{\mathrm{cof}}}(\mathcal N) < 2^{\aleph _0}. \end{aligned}
PubDate: 2017-11-01
DOI: 10.1007/s00153-017-0553-8
Issue No: Vol. 56, No. 7-8 (2017)

• Baumgartner’s isomorphism problem for $$\aleph _2$$ ℵ 2 -dense
suborders of $$\mathbb {R}$$ R
• Authors: Justin Tatch Moore; Stevo Todorcevic
Pages: 1105 - 1114
Abstract: Abstract In this paper we will analyze Baumgartner’s problem asking whether it is consistent that $$2^{\aleph _0} \ge \aleph _2$$ and every pair of $$\aleph _2$$ -dense subsets of $$\mathbb {R}$$ are isomorphic as linear orders. The main result is the isolation of a combinatorial principle $$(**)$$ which is immune to c.c.c. forcing and which in the presence of $$2^{\aleph _0} \le \aleph _2$$ implies that two $$\aleph _2$$ -dense sets of reals can be forced to be isomorphic via a c.c.c. poset. Also, it will be shown that it is relatively consistent with ZFC that there exists an $$\aleph _2$$ dense suborder X of $$\mathbb {R}$$ which cannot be embedded into $$-X$$ in any outer model with the same $$\aleph _2$$ .
PubDate: 2017-11-01
DOI: 10.1007/s00153-017-0549-4
Issue No: Vol. 56, No. 7-8 (2017)

• RETRACTED ARTICLE: A completeness theorem for continuous predicate modal
logic
• Authors: Stefano Baratella
Pages: 1135 - 1135
PubDate: 2017-11-01
DOI: 10.1007/s00153-017-0554-7
Issue No: Vol. 56, No. 7-8 (2017)

• A weird relation between two cardinals
• Authors: Lorenz Halbeisen
Abstract: Abstract For a set M, let $${\text {seq}}(M)$$ denote the set of all finite sequences which can be formed with elements of M, and let $$[M]^2$$ denote the set of all 2-element subsets of M. Furthermore, for a set A, let denote the cardinality of A. It will be shown that the following statement is consistent with Zermelo–Fraenkel Set Theory $$\textsf {ZF}$$ : There exists a set M such that and no function is finite-to-one.
PubDate: 2017-10-20
DOI: 10.1007/s00153-017-0594-z

• Bounding quantification in parametric expansions of Presburger arithmetic
• Authors: John Goodrick
Abstract: Abstract Generalizing Cooper’s method of quantifier elimination for Presburger arithmetic, we give a new proof that all parametric Presburger families $$\{S_t : t \in \mathbb {N}\}$$ [as defined by Woods (Electron J Comb 21:P21, 2014)] are definable by formulas with polynomially bounded quantifiers in an expanded language with predicates for divisibility by f(t) for every polynomial $$f \in \mathbb {Z}[t]$$ . In fact, this quantifier bounding method works more generally in expansions of Presburger arithmetic by multiplication by scalars $$\{\alpha (t): \alpha \in R, t \in X\}$$ where R is any ring of functions from X into $$\mathbb {Z}$$ .
PubDate: 2017-10-13
DOI: 10.1007/s00153-017-0593-0

• Strongly uplifting cardinals and the boldface resurrection axioms
• Authors: Joel David Hamkins; Thomas A. Johnstone
Abstract: Abstract We introduce the strongly uplifting cardinals, which are equivalently characterized, we prove, as the superstrongly unfoldable cardinals and also as the almost-hugely unfoldable cardinals, and we show that their existence is equiconsistent over ZFC with natural instances of the boldface resurrection axiom, such as the boldface resurrection axiom for proper forcing.
PubDate: 2017-08-19
DOI: 10.1007/s00153-017-0542-y

• Dedicated to James Earl Baumgartner
• PubDate: 2017-07-21
DOI: 10.1007/s00153-017-0574-3

JournalTOCs
School of Mathematical and Computer Sciences
Heriot-Watt University
Edinburgh, EH14 4AS, UK
Email: journaltocs@hw.ac.uk
Tel: +00 44 (0)131 4513762
Fax: +00 44 (0)131 4513327

Home (Search)
Subjects A-Z
Publishers A-Z
Customise
APIs