English
Related papers

Related papers: Stranger Things about Forcing without AC

200 papers

Many forcing notions obtained using the creature technology are naturally connected with certain integer games.

Logic · Mathematics 2007-05-23 Saharon Shelah , Jindrich Zapletal

The purpose of this paper is to investigate forcing as a tool to construct universal models. In particular, we look at theories of initial segments of the universe and show that any model of a sufficiently rich fragment of those theories…

Logic · Mathematics 2025-03-07 Francesco Parente , Matteo Viale

Forcing axioms are generalizations of Baire category principles that allow one to intersect more dense open sets and to do so in a wider variety of circumstances. In this paper we introduce two new forcing axioms related to posets which…

Logic · Mathematics 2025-02-05 Thomas Gilton

We answer a question of Moore by building a forcing extension satisfying measuring together with CH. The construction works over any model of ZFC and can be described as a forcing iteration with countable structures as side conditions and…

Logic · Mathematics 2011-11-14 David Asperó , Miguel Angel Mota

As a charged spinning fermion drops into a charged rotating BTZ black hole, we investigate the laws of thermodynamics and weak cosmic censorship conjecture with and without pressure respectively. For the case without pressure, the first…

General Relativity and Quantum Cosmology · Physics 2019-08-13 Xiao-Xiong Zeng , Xin-Yun Hu

We introduce a forcing that adds a $\square(\aleph_2,\aleph_0)$-sequence with countable conditions under CH. Assuming the consistency of a weakly compact cardinal, we can find a forcing extension by our new poset in which both…

Logic · Mathematics 2026-03-17 Maxwell Levine

We define a nontrivial version of the square principle $\Box_\omega$, 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_\omega$ can…

Logic · Mathematics 2026-04-13 Gregor K. Dolinar , Mirna Džamonja

The foundations of forcing theory are reworked to streamline the presentation and to show how the most basic results are applicable in very general contexts.

Logic · Mathematics 2007-12-13 Peter M. Johnson

These are lecture notes from a course I gave at the University of Wisconsin during the Spring semester of 1993. Part 1 is concerned with Borel hierarchies. Section 13 contains an unpublished theorem of Fremlin concerning Borel hierarchies…

Logic · Mathematics 2009-09-25 Arnold Miller

The effect of magnetic field on the structure properties of hot spin polarized strange quark stars has been investigated. For this purpose, we use the MIT bag model with a density dependent bag constant to calculate the thermodynamic…

Solar and Stellar Astrophysics · Physics 2015-06-18 G. H. Bordbar , Z. Alizade

An $\aleph_1$-Souslin tree is a complicated combinatorial object whose existence cannot be decided on the grounds of ZFC alone. But 15 years after Tennenbaum and independently Jech devised notions of forcing for introducing such a tree,…

Logic · Mathematics 2019-09-18 Ari Meir Brodsky , Assaf Rinot

Justin Moore's weak club-guessing principle $\mho$ admits various possible generalizations to the second uncountable cardinal. One of them was shown to hold in ZFC by Shelah. A stronger one was shown to follow from several consequences of…

Logic · Mathematics 2024-07-29 Ido Feldman

We present a systematic study of the method of "norms on possibilities" of building forcing notions with keeping their properties under full control. This technique allows us to answer several open problems, but on our way to get the…

Logic · Mathematics 2013-01-03 Andrzej Roslanowski , Saharon Shelah

We show that splitting forcing does not have the weak Sacks property below any condition, answering a question of Laguzzi, Mildenberger and Stuber-Rousselle. We also show how some partition results for splitting trees hold or fail and we…

Logic · Mathematics 2021-06-15 Jonathan Schilhan

Assuming that the universe is a system obedient to known thermodynamic laws and equations, here we explore whether it is a possibility for the universe to exist and evolve without any cosmic structure or force necessarily emerging within…

General Physics · Physics 2007-05-23 Akinbo Ojo

The realization of a Mott insulating state in a system of ultracold fermions comprising far more internal components than the electron, provides an avenue for probing many-body physics that is difficult to access in solids.

Quantum Gases · Physics 2012-12-11 Congjun Wu

We develop a toolbox for forcing over arbitrary models of set theory without the axiom of choice. In particular, we introduce a variant of the countable chain condition and prove an iteration theorem that applies to many classical forcings…

Logic · Mathematics 2023-01-02 Daisuke Ikegami , Philipp Schlicht

Boban Velickovic asked the following question: Is there a nontrivial forcing notion with the Sacks property which is also ccc? A ``definable'' variant of this question has been answered in [Sh:480] (math.LO/9303208): Every nontrivial…

Logic · Mathematics 2007-05-23 Saharon Shelah

We critically revisit the issue of power-law running in models with extra dimensions. The general conclusion is that, in the absence of any additional physical principle, the power-corrections tend to depend strongly on the details of the…

High Energy Physics - Phenomenology · Physics 2011-09-13 J. F. Oliver , J. Papavassiliou , A. Santamaria

We consider novel unusual effects in superconductor-ferromagnet (S/F) structures. In particular we analyze the triplet component (TC) of the condensate generated in those systems.This component is odd in frequency and even in the momentum,…

Superconductivity · Physics 2009-11-11 F. S. Bergeret , A. F. Volkov , K. B. Efetov