相关论文: Forcing with quotients

We begin the systematic study of decision problems for finitely generated groups given by a solution to their word problem. We relate this to the study of computable analysis on the space of marked groups. We point out that several distinct…

This article is devoted to the interplay between forcing with fusion and combinatorial covering properties. We illustrate this interplay by proving that in the Laver model for the consistency of the Borel's conjecture, the product of any…

We define a $\sigma$-centered notion of forcing that forces the existence of a Boolean algebra with the Grothendieck property and without the Nikodym property. In particular the existence of such an algebra is consistent with the negation…

We prove the following theorem: For a partially ordered set Q such that every countable subset has a strict upper bound, there is a forcing notion satisfying ccc such that, in the forcing model, there is a basis of the meager ideal of the…

We make use of a forcing technique for extending Boolean algebras. The same type of forcing was employed in [BK81], [Kos99], and elsewhere. Using and modifying a lemma of Koszmider, and using CH, we obtain an atomless BA, A such that f(A) =…

We give an alternative proof of a fact that a finite continuous non-decreasing submodular set function on a measurable space can be expressed as a supremum of measures dominated by the function, if there exists a class of sets which is…

CONTENTS OF THE ISSUE: Hurewicz-like tests for Borel subsets of the plane; Ordered Spaces, Metric Preimages, and Function Algebras; On the independence of a generalized statement of Egoroff's theorem from ZFC, after T. Weiss; Forty…

We investigate higher-dimensional $\Delta$-systems indexed by finite sets of ordinals, isolating a particular definition thereof and proving a higher-dimensional version of the classical $\Delta$-system lemma. We focus in particular on…

Gauged WZW and coset models are known to be useful to prove holomorphic factorization of the partition function of WZW and coset models. In this note we show that these gauged models can be also important to quantize the theory in the…

We look for a parallel to the notion of ``proper forcing'' among lambda-complete forcing notions not collapsing lambda^+ . We suggest such a definition and prove that it is preserved by suitable iterations.

For a Dedekind domain $\mathcal{O}$ and a rank two co-torsion module $M\subseteq \mathcal{O}^2$ with invariant factor ideals $\mathcal{L}\supseteq \mathcal{K}$ in $\mathcal{O}$, that is, $\frac{\mathcal{O}^2}{M}\cong…

We present the effective version of the theorem about turning Borel sets in Polish spaces into clopen sets while preserving the Borel structure of the underlying space. We show that under some conditions the emerging parameters can be…

We consider isomorphisms between quotient algebras of $\prod_{n=0}^{\infty} \mathbb{M}_{k(n)}(\mathbb{C})$ associated with Borel ideals on $\mathbb{N}$ and prove that it is relatively consistent with \textbf{ZFC} that all of these…

Given an analytic equivalence relation, we tend to wonder whether it is Borel. When it is non Borel, there is always the hope it will be Borel on a "large" set -- nonmeager or of positive measure. That has led Kanovei, Sabok and Zapletal to…

We prove the following theorem: For a partially ordered set Q such that every countable subset has a strict upper bound, there is a forcing notion satisfying ccc such that, in the forcing model, there is a basis of the null ideal of the…

Symmetric strongly shifted ideals are a class of monomial ideals which come equipped with an action of the symmetric group and are analogous to the well-studied class of strongly stable monomial ideals. In this paper we focus on algebraic…

This paper considers the combinatorics of continuous and Borel rectangular partitions of free actions of $\mathbb{Z}^n$ on $0$-dimensional Polish spaces, specifically the free part $F(2^{\mathbb{Z}^n})$ of the shift action of $\mathbb{Z}^n$…

Let $M$ be a transitive model of $ZFC$ and let ${\bf B}$ be a $M$-complete Boolean algebra in $M.$ (In general a proper class.) We define a generalized notion of forcing with such Boolean algebras, $^*$forcing. (A $^*$ forcing extension of…

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

We introduce several properties of forcing notions which imply that their lambda-support iterations are lambda-proper. Our methods and techniques refine those studied in math.LO/9906024, math.LO/0210205, math.LO/0508272 and math.LO/0605067,…