Related papers: A note on iterating strongly $(<\lambda)$-closed s…
We bring forward a logical system of transition algebras that enhances many-sorted first-order logic using features from dynamic logics. The sentences we consider include compositions, unions, and transitive closures of transition…
We show some simple sufficient conditions for which the multilinear embedding theorem holds for fractional sparse operators. By verifying these conditions, we establish the theorem for power weights. We also provide Morrey-type sufficient…
We determine the proof-theoretic strength of the principle of countable saturation in the context of the systems for nonstandard arithmetic introduced in our earlier work.
The Hamiltonian analysis for the linearized $\lambda R$ gravity plus a Chern-Simons term is performed. The first-class and second-class constraints for arbitrary values of $\lambda$ are presented, and one physical degree of freedom is…
Compact U(1) theory in 4 dimensions is used to compare the modified iterative and the Laplacian fixing to lattice Landau gauge in a controlled setting, since in the Coulomb phase the lattice theory must reproduce the perturbative…
When the limiting compensator of a sequence of martingales is continuous, we obtain a weak convergence theorem for the martingales; the limiting process can be written as a Brownian motion evaluated at the compensator and we find sufficient…
We prove that the theory of the models constructible using finitely many cofinality quantifiers - $C_{\lambda_{1},...,\lambda_{n}}^{*}$ and $C_{<\lambda_{1},...,<\lambda_{n}}^{*}$ for $\lambda_{1},...,\lambda_{n}$ regular cardinals - is…
In a self-contained way, we deal with revised countable support iterated forcing for the reals. We improve theorems on preservation of the property UP, weaker than semi proper, and we hopefully improve the presentation. We continue [Sh:b,…
We develop a general theory for class-sized symmetric systems as a natural extension of symmetric systems with respect to class forcing. In particular, adapting the usual notions of pretameness and tameness for class forcing, we present…
A Procedure is outlined that may be used as a starting point for a perturbative treatment of theories with permanent confinement. By using a counter term in the Lagrangian that renormalizes the infrared divergence in the Coulomb potential,…
This paper contributes to the theory of large cardinals beyond the Kunen inconsistency, or choiceless large cardinal axioms, in the context where the Axiom of Choice is not assumed. The first part of the paper investigates a periodicity…
We isolate several classes of stationary sets of kappa^omega and investigate implications among them. Under a large cardinal assumption, we prove a structure theorem for stationary sets.
Takens' Embedding Theorem remarkably established that concatenating M previous outputs of a dynamical system into a vector (called a delay coordinate map) can be a one-to-one mapping of a low-dimensional attractor from the system state…
A diagonal version of the strong reflection principle is introduced, along with fragments of this principle associated to arbitrary forcing classes. The relationships between the resulting principles and related principles, such as the…
We isolate a combinatorial property of capacities leading to a construction of proper forcings. Then we show that many classical capacities such as the Newtonian capacity satisfy the property.
For a class of stationary regularly varying and weakly dependent time series, we prove the so-called complete convergence result for the corresponding space-time point processes. As an application of our main theorem, we give a simple proof…
These notes derive a number of technical results on nonlinear contraction theory, a comparatively recent tool for system stability analysis. In particular, they provide new results on the preservation of contraction through system…
We introduce and motivate the method of effective charges, and consider how to implement an all-orders resummation of large kinematical logarithms in this formalism. Fits for QCD \Lambda and power corrections are performed for the e+e-…
We prove exponential convergence to the stationary measure for a class of 1d Lagrangian systems with random forcing in the space-periodic setting: $$ \phi_t+\phi_x^2/2=F^{\omega}, x \in S^1 = \mathbb{R}/\mathbb{Z}. $$ This confirms a part…
We study resonances of nonlinear systems of differential equations, including but not limited to the equations of motion of a particle moving in a potential. We use the calculus of variations to determine the minimal additive forcing…