Related papers: Weak diamond and Galvin's property
We prove existence of weak solutions to an evolutionary model derived for magnetoelastic materials. The model is phrased in Eulerian coordinates and consists in particular of (i) a Navier-Stokes equation that involves magnetic and elastic…
The axionic weak gravity conjecture predicts the existence of instantons whose actions are less than their charges in appropriate units. We show that the conjecture is satisfied for the axion-dilaton-gravity system if we assume duality…
We prove it consistent relative to ZFC that all nontrivial forcings of size $\aleph _1$ add a Cohen real.
In this paper, we prove the weak positivity theorem in positive characteristic when the canonical ring of the geometric generic fiber $F$ is finitely generated and the Frobenius stable canonical ring of $F$ is large enough. As its…
A cardinal is weakly Reinhardt if it is the critical point of an elementary embedding from the universe of sets into a model that contains the double powerset of every ordinal. This note establishes the equiconsistency of a proper class of…
We prove that successors of singular limits of strongly compact cardinals have the strong tree property. We also prove that aleph_{omega+1} can consistently satisfy the strong tree property.
We show that the vague specification property is strictly weaker than most of the specification-like properties, by establishing its equivalence with the asymptotic average shadowing property. In particular, we see that the weak…
We introduce a notion of shadowing property for actions of finitely generated groups and study its basic properties. We formulate and prove a shadowing lemma for actions of nilpotent groups. We construct an example of a faithful linear…
We give a level-by-level analysis of the Weak Vop\v{e}nka Principle for definable classes of relational structures (WVP), in accordance with the complexity of their definition, and we determine the large-cardinal strength of each level.…
The weak value, introduced by Aharonov et al. to extend the conventional scope of physical observables in quantum mechanics, is an intriguing concept which sheds new light on quantum foundations and is also useful for precision measurement,…
We consider a property stronger than the Sacks property, called the shrink wrapping property, which holds between the ground model and each Sacks forcing extension. Unlike the Sacks property, the shrink wrapping property does not hold…
We investigate Gale's important paper published in 1960. This paper contains an example of a candidate of the demand function that satisfies the weak axiom of revealed preference and that is doubtful that it is a demand function of some…
For a Gaussian process $X$ and smooth function $f$, we consider a Stratonovich integral of $f(X)$, defined as the weak limit, if it exists, of a sequence of Riemann sums. We give covariance conditions on $X$ such that the sequence converges…
The paper studies weak Paley-Wiener properties for group extensions by use of Mackey's theory. The main theorem establishes sufficient conditions on the dual action to ensure that the group has the weak Paley-Wiener property. The theorem…
Improving a result of M. Talagrand, under the assumption of a weak form of Martin's axiom, we construct a totally disconnected compact Hausdorff space $K$ such that the Banach space $C(K)$ of continuous real-valued functions on $K$ is a…
We investigate the generalized tree properties and guessing model properties introduced by Wei\ss\ and Viale, as well as natural weakenings thereof, studying the relationships among these properties and between these properties and other…
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…
We study methods to obtain the consistency of forcing axioms, and particularly higher forcing axioms. We first force over a model with a supercompact cardinal $\theta>\kappa$ to get the consistency of the forcing axiom for $\kappa$-strongly…
We show that the weakest versions of Foreman's minimal generic hugeness axioms cannot hold simultaneously on adjacent cardinals. Moreover, conventional forcing techniques cannot produce a model of one of these axioms.
In the first part of the paper, we show that if $\omega \le \kappa < \lambda$ are cardinals, $\kappa^{<\kappa} = \kappa$, and $\lambda$ is weakly compact, then in $V[\M(\kappa,\lambda)]$ the tree property at $\lambda =…