Related papers: PFA(S)[S] and the Arhangel'skii-Tall problem
This note addresses the continuum problem, taking advantage of the breakthrough mentioned in the subtitle, and relating it to many recent advances occurring in set theory.
We investigate various strong notions of rigidity for Souslin trees, separating them under Diamond into a hierarchy. Applying our methods to the automorphism tower problem in group theory, we show under Diamond that there is a group whose…
Motivated by a class of orbit problems in astrophysics, this paper considers solutions to Hill's equation with forcing strength parameters that vary from cycle to cycle. The results are generalized to include period variations from cycle to…
We develop a new method for building forcing iterations with symmetric systems of structures as side conditions. Using our method we prove that the forcing axiom for the class of all the small finitely proper posets is compatible with a…
We introduce tree linear cascades, a class of linear structural equation models for which the error variables are uncorrelated but need not be Gaussian nor independent. We show that, in spite of this weak assumption, the tree structure of…
We demonstrate the versatility of the tangle-tree duality theorem for abstract separation systems by using it to prove tree-of-tangles theorems. This approach allows us to strengthen some of the existing tree-of-tangles theorems by bounding…
We give a model where there is a ccc Souslin forcing which does not satisfy the Knaster condition. Next, we present a model where there is a sigma-linked not sigma-centered Souslin forcing such that all its small subsets are sigma-centered…
For any $2 \le n < \omega$, we introduce a forcing poset using generalized promises which adds a normal $n$-splitting subtree to a $(\ge \! n)$-splitting normal Aronszajn tree. Using this forcing poset, we prove several consistency results…
Poeschl-Teller trigonometric potential well is PT symmetrically regularized at its "impenetrable" end-point barriers. This gives the four different solvable generalizations of the model and enables us to clarify some paradoxes encountered,…
We show that all tree-level amplitudes in $\varphi^p$ scalar field theory can be represented as the $\alpha'\to0$ limit of an $SL(2,R)$-invariant, string-theory-like dual model integral. These dual models are constructed according to…
We solve a problem of Krivelevich, Kwan and Sudakov [SIAM Journal on Discrete Mathematics 31 (2017), 155-171] concerning the threshold for the containment of all bounded degree spanning trees in the model of randomly perturbed dense graphs.…
We consider the polyhedral properties of two spanning tree problems with additional constraints. In the first problem, it is required to find a tree with a minimum sum of edge weights among all spanning trees with the number of leaves less…
This work uses mostly model-theoretic methods to establish new proof-theoretic theorems about several axiomatic theories of truth over KP (Kripke-Platek set theory) and stronger theories, especially ZF (Zermelo-Fraenkel set theory).
Shelah showed that the existence of free subsets over internally approachable subalgebras follows from the failure of the PCF conjecture on intervals of regular cardinals. We show that a stronger property called the Approachable Bounded…
In this note we analyze the Caffarelli-Silvestre extension function using tools from the theory of stochastic analysis applied to Dirichlet problems. We use a stochastic approach to give the explicit formulation of the kernel associated to…
The polar representation theorem for the n-dimensional time-dependent linear Hamiltonian system with continuous coefficients, states that, given two isotropic solutions (Q1, P1) and (Q2, P2), with the identity matrix as Wronskian,the…
In this paper we give a solution to Zariski's problem of analytic classification of plane branches.
In various models of set theory, we consider covering Aleph_1 x Aleph_1 rectangles by countably many smooth curves, and we study differentiable isomorphisms between Aleph_1-dense sets of reals.
The Dirichlet problem for a class of stochastic partial differential equations is studied in Sobolev spaces. The existence and uniqueness result is proved under certain compatibility conditions that ensure the finiteness of…
We introduce a generalization structure of the su(1,1) algebra which depends on a function of one generator of the algebra, f(H). Following the same ideas developed to the generalized Heisenberg algebra (GHA) and to the generalized su(2),…