English
Related papers

Related papers: Proper and Improper Variants of Mathias and Silver…

200 papers

Given an inner model $W \subset V$ and a regular cardinal $\kappa$, we consider two alternatives for adding a subset to $\kappa$ by forcing: the Cohen poset $Add(\kappa,1)$, and the Cohen poset of the inner model $Add(\kappa,1)^W$. The…

Logic · Mathematics 2019-08-27 Jonas Reitz

In this paper, we study the supports of measures in multiplicative free semigroups on the positive real line and on the unit circle. We provide formulas for the density of the absolutely continuous parts of measures in these semigroups. The…

Complex Variables · Mathematics 2013-02-20 Hao-Wei Huang , Ping Zhong

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…

Logic · Mathematics 2007-05-23 Tomek Bartoszynski , Masaru Kada

We study an extensive connection between factor forcings of Borel subsets of Polish spaces modulo a sigma-ideal, and factor forcings of subsets of countable sets modulo an ideal.

Logic · Mathematics 2007-05-23 Michael Hrusak , Jindrich Zapletal

Inverse problems lend themselves naturally to a Bayesian formulation, in which the quantity of interest is a posterior distribution of state and/or parameters given some uncertain observations. For the common case in which the forward…

Methodology · Statistics 2013-08-20 Kody J. H. Law

Motivated by the forensic problem of determining the strength of evidence of a continuously distributed measurement of evidence, in the situation of composite hypotheses of the prosecutor and the defence concerning a parameter of a…

Applications · Statistics 2018-02-02 Bert van Es

In a Bayesian context, prior specification for inference on monotone densities is conceptually straightforward, but proving posterior convergence theorems is complicated by the fact that desirable prior concentration properties often are…

Statistics Theory · Mathematics 2020-07-28 Ryan Martin

I prove preservation theorems for countable support iteration of proper forcing concerning certain classes of capacities and submeasures. New examples of forcing notions and connections with measure theory are included.

Logic · Mathematics 2007-05-23 Jindrich Zapletal

We prove that the Sacks forcing collapses the continuum onto the dominating number d, answering the question of Carlson and Laver. Next we prove that if a proper forcing of the size at most continuum collapses omega_2 then it forces…

Logic · Mathematics 2009-09-25 Andrzej Rosłanowski , Saharon Shelah

We develop a general framework for forcing with coherent adequate sets on $H(\lambda)$ as side conditions, where $\lambda \ge \omega_2$ is a cardinal of uncountable cofinality. We describe a class of forcing posets which we call coherent…

Logic · Mathematics 2014-06-13 John Krueger , Miguel Angel Mota

We show that many countable support iterations of proper forcings preserve Souslin trees. We establish sufficient conditions in terms of games and we draw connections to other preservation properties. We present a proof of preservation…

Logic · Mathematics 2013-09-03 Heike Mildenberger , Saharon Shelah

We obtain a relatively simple criterion for when a forcing has the ${<}\,\delta$-approximation property, generalizing a result of Unger. Afterwards we apply this criterion to construct variants of Mitchell Forcing in order to answer…

Logic · Mathematics 2025-08-15 Hannes Jakob

The two parallel concepts of "small" sets of the real line are meagre sets and null sets. Those are equivalent to Cohen forcing and Random real forcing for $\aleph^{\aleph_0}_0$; in spite of this similarity, the Cohen forcing and Random…

Logic · Mathematics 2023-08-24 Shani Cohen , Saharon Shelah

The feeling that those two forcing notions-Cohen and Random-(equivalently the corresponding Boolean algebras Borel(R)/(meager sets), Borel(R)/(null sets)) are special, was probably old and widespread. A reasonable interpretation is to show…

Logic · Mathematics 2016-09-06 Saharon Shelah

We investigate two variants of splitting tree forcing, their ideals and regularity properties. We prove connections with other well-known notions, such as Lebesgue measurablility, Baire- and Doughnut-property and the Marczewski field.…

Logic · Mathematics 2020-04-24 Giorgio Laguzzi , Heike Mildenberger , Brendan Stuber-Rousselle

We consider the approximation of Poisson type problems where the source is given by a singular measure and the domain is a convex polygonal or polyhedral domain. First, we prove the well-posedness of the Poisson problem when the source…

Numerical Analysis · Mathematics 2018-09-12 Irene Drelichman , Ricardo Durán , Ignacio Ojea

First and second order corrections for the scattering of different types of particles by a weak gravitational field, treated as an external field, are calculated. These computations indicate a violation of the Equivalence Principle: to…

General Relativity and Quantum Cosmology · Physics 2008-01-15 Ricardo Paszko

We continue the study of properties related to monotone countable paracompactness, investigating various monotone versions of $\delta$-normality. We factorize monotone normality and stratifiability in terms of these weaker properties.

General Topology · Mathematics 2007-12-21 Lylah Haynes , Chris Good

We establish a general Bernstein--von Mises theorem for approximately linear semiparametric functionals of fractional posterior distributions based on nonparametric priors. This is illustrated in a number of nonparametric settings and for…

Statistics Theory · Mathematics 2025-08-12 Alice L'Huillier , Luke Travis , Ismaël Castillo , Kolyan Ray

The major goal of this paper is to study the second order frequentist properties of the marginal posterior distribution of the parametric component in semiparametric Bayesian models, in particular, a second order semiparametric…

Statistics Theory · Mathematics 2015-03-17 Yun Yang , Guang Cheng , David B. Dunson