Related papers: Mahlo classes for first-order reflections

For $n<\omega$, we say that the $\Pi^1_n$-reflection principle holds at $\kappa$ and write $\text{Refl}_n(\kappa)$ if and only if $\kappa$ is a $\Pi^1_n$-indescribable cardinal and every $\Pi^1_n$-indescribable subset of $\kappa$ has a…

We consider extensions of the language of Peano arithmetic by transfinitely iterated truth definitions satisfying uniform Tarskian biconditionals. Without further axioms, such theories are known to be conservative extensions of the original…

Let $\mathbf{M}$ be the basic set theory that consists of the axioms of extensionality, emptyset, pair, union, powerset, infinity, transitive containment, $\Delta_0$-separation and set foundation. This paper studies the relative strength of…

Using effective field theory techniques we compute the next to leading order Spin(1)Spin(1) terms in the potential of spinning compact objects at third Post-Newtonian order, including sub-leading self-induced finite size effects. This…

We investigate an extension of ZFC set theory (in an extended language) that stipulates the existence of a proper class of indiscernibles over the universe. One of the main results of the paper shows that the purely set-theoretical…

Motivated by bifurcation of branches of homoclinic orbits of dynamical systems, we consider families of first-order equations on the real line and introduce a generalisation of previous index theorems by Pejsachowicz, and by Hu and…

It is well-known that natural axiomatic theories are well-ordered by consistency strength. However, it is possible to construct descending chains of artificial theories with respect to consistency strength. We provide an explanation of this…

We construct classes of ${\cal N}=1$ superconformal theories elements of which are labeled by punctured Riemann surfaces. Degenerations of the surfaces correspond, in some cases, to weak coupling limits. Different classes are labeled by two…

In this paper, which is the natural continuation and generalization of Fesenko's non-abelian reciprocity map, we extend the theory of Fesenko to infinite $APF$-Galois extensions $L$ over a local field $K$, with finite residue-class field…

In this paper, we introduce a hierarchy dividing the set $\{\sigma \in \Pi^1_2 : \Pi^1_1$-$\mathsf{CA}_0 \vdash \sigma\}$. Then, we give some characterizations of this set using weaker variants of some principles equivalent to…

This work re-examines the issue of spin-$1$ particles in a ($2+1$)-dimensional Duffin-Kemmer-Petiau oscillator (DKPO) in the presence of an external magnetic field. By following the appropriate procedure for the spin-$1$ sector of the…

For certain rings $\mathcal{R}$, we construct explicit matrices representing nonzero classes in the algebraic $K$ theory group $NK_{1}(\mathcal{R})$.

We show that induction over $\Delta(\mathbb R)$-definable well-founded classes is equivalent to the reflection principle which asserts that any true formula of first order set theory with real parameters holds in some transitive set. The…

We prove the $K(\pi,1)$ conjecture for affine Artin groups: the complexified complement of an affine reflection arrangement is a classifying space. This is a long-standing problem, due to Arnol'd, Pham, and Thom. Our proof is based on…

We use model theoretic techniques to construct explicit first-order axiomatizations for the classes of posets that can be represented as systems of sets, where the order relation is given by inclusion, and existing meets and joins of…

We prove homology stability for elementary and special linear groups over rings with many units improving known stability ranges. Our result implies stability for unstable Quillen K-groups and proves a conjecture of Bass. For commutative…

The class of abelian $p$-groups are an example of some very interesting phenomena in computable structure theory. We will give an elementary first-order theory $T_p$ whose models are each bi-interpretable with the disjoint union of an…

Inspired by the works in [1] and [8] we introduce what we call $k$-th-order fluctuation fields and study their scaling limits. This construction is done in the context of particle systems with the property of orthogonal self-duality. This…

We establish the exact-order estimates of uniform approximations by the Zygmund sums $Z^{s}_{n-1}$ of $2\pi$-periodic continuous functions $f$ from the classes $C^{\psi}_{\beta,p}$.These classes are defined by the convolutions of functions…

We show that a certain class of affine hyperplane arrangements are $K(\pi,1)$ by endowing their Falk complexes with an injective metric. This gives new examples of infinite $K(\pi,1)$ arrangements in dimension $n>2$.