Related papers: PFA and guessing models
We introduce a new complexity measure for finite strings using probabilistic finite-state automata (PFAs), in the same spirit as existing notions employing DFAs and NFAs, and explore its properties. The PFA complexity $A_P(x)$ is the least…
In this paper, we obtain the consistency, relative to large cardinals, of the existence of dense ideals on every successor of a regular cardinal simultaneously. Using a consequent transfer principle, we show that in this model there is a…
We conclude from Goedel's Theorem VII of his seminal 1931 paper that every recursive function f(x_{1}, x_{2}) is representable in the first-order Peano Arithmetic PA by a formula [F(x_{1}, x_{2}, x_{3})] which is algorithmically verifiable,…
To explain the accelerated expansion of our universe, many dark energy models and modified gravity theories have been proposed so far. It is argued in the literature that they are difficult to be distinguished on the cosmological scales.…
We provide, for any regular uncountable cardinal $\kappa$, a new argument for Pincus' result on the consistency of $\mathrm{ZF}$ with the higher dependent choice principle $\mathrm{DC}_{<\kappa}$ and the ordering principle in the presence…
We prove that a theory $T$ has stable forking if and only if $T^\mathrm{eq}$ has stable forking.
Perturbation theory in geometric theories of gravitation is a gauge theory of symmetric tensors defined on a Lorentzian manifold (the background spacetime). The gauge freedom makes uniqueness problems in perturbation theory particularly…
We introduce exacting cardinals and a strengthening of these, ultraexacting cardinals. These are natural large cardinals defined equivalently as weak forms of rank-Berkeley cardinals, strong forms of J\'onsson cardinals, or in terms of…
We show that for $\Pi_2$-properties of second or third order arithmetic as formalized in appropriate natural signatures the apparently weaker notion of forcibility overlaps with the standard notion of consistency (assuming large cardinal…
We consider a cosmological model with a variable gravitational constant, G, based on a scalar-tensor theory. Using the recent observational data for the Hubble diagram of type Ia supernovae (SNeIa) we find a phenomenological expression…
We give a conjectural description of the vanishing order and leading Taylor coefficient of the Zeta function of a proper, regular arithmetic scheme $\mathcal{X}$ at any integer $n$ in terms of Weil-\'etale cohomology complexes. This extends…
We discuss the stabilization of the conformal factor by higher derivative terms in a conformally reduced $R+R^2$ Euclidean gravity theory. The flat spacetime is unstable towards the condensation of modes with nonzero momentum, and they…
A result of Lehrer describes a beautiful relationship between topological and combinatorial data on certain families of varieties with actions of finite reflection groups. His formula relates the cohomology of complex varieties to point…
It was shown by Visser that Peano Arithmetic has the property that any two bi-interpretable extensions of it (in the same language) are equivalent. Enayat proposed to refer to this property of a theory as tightness and to carry out a more…
We prove sharp stability estimates for the Truncated Laplace Transform and Truncated Fourier Transform. The argument combines an approach recently introduced by Alaifari, Pierce and the second author for the truncated Hilbert transform with…
In this paper, we investigate how the fine structure constant, $\alpha$, locally varies in the presence of a static and spherically symmetric gravitational source. The procedure consists in calculating the solution and the energy…
In the absence of a theory of everything, modern physicists need to rely on other predictive tools and turned to Effective Field Theories (EFTs) in a number of fields, including but not limited to statistical mechanics, condensed matter,…
We show that, assuming GCH, if $\kappa$ is a Ramsey or a strongly Ramsey cardinal and $F$ is a class function on the regular cardinals having a closure point at $\kappa$ and obeying the constraints of Easton's theorem, namely,…
We present a direct field theoretical calculation of the consistent gauge anomaly in the superfield formalism, on the basis of a definition of the effective action through the covariant gauge current. The scheme is conceptually and…
This paper continues the author's previous study \cite{Kura20}, showing that several weak principles inspired by non-normal modal logic suffice to derive various refined forms of the second incompleteness theorem. Among the main results of…