相关论文: Mahlo classes for first-order reflections

Let p > 2 be a prime number and let N be any rational integer. We consider the p-class groups Cl(L), Cl(M) of the fields $L:=Q(N^{1/p})$ and $M:=Q(N^{1/p},\mu_p)$, by comparison with the p-torsion groups T(L) and T(M) of the abelian…

Schmerl and Beklemishev's work on iterated reflection achieves two aims: It introduces the important notion of $\Pi^0_1$-ordinal, characterizing the $\Pi^0_1$-theorems of a theory in terms of transfinite iterations of consistency; and it…

Let $p$ be a prime, and let $K$ be a finite extension of $\mathbf{Q}_p$, with absolute Galois group $\cal{G}_K$. Let $\pi$ be a uniformizer of $K$ and let $K_\infty$ be the Kummer extension obtained by adjoining to $K$ a system of…

It is widely claimed that the natural axiom systems$\unicode{x2013}$including the large cardinal axioms$\unicode{x2013}$form a well-ordered hierarchy. Yet, as is well-known, it is possible to exhibit non-linearity and ill-foundedness by…

We present a higher well-ordering principle which is equivalent (over Simpson's set theoretic version of $\text{ATR}_0$) to the existence of transitive models of Kripke-Platek set theory, and thus to $\Pi^1_1$-comprehension. This is a…

This paper extends implication-space semantics to include first-order quantification. Implication-space semantics has recently been introduced as an inferentialist formal semantics that can capture nonmonotonic and nontransitive material…

A phenomenological analysis of $K\to \pi\pi\gamma$ ($K_L\to\pi^+\pi^-\gamma$ and $K^+\to\pi^+\pi^0\gamma$) with the direct emission photon is carried out beyond the leading order in the chiral perturbation theory. We show that the…

We revisit the relativistic restricted two-body problem with spin employing a perturbation scheme based on Lie series. Starting from a post-Newtonian expansion of the field equations, we develop a first-order secular theory that reproduces…

We calculate the minimal degree for a class of finite complex reflection groups $G(p,p,q)$, for $p$ and $q$ primes and establish relationships between minimal degrees when these groups are taken in a direct product.

We examine the Zermelo Fraenkel set theory with Choice (ZFC) enhanced by one of the (structural) reflection principles down to a small cardinal and/or Recurrence Axioms defined below. The strongest forms of reflection principles spotlight…

This paper presents two types of results related to hyperarithmetic analysis. First, we introduce new variants of the dependent choice axiom, namely $\mathrm{unique}~\Pi^1_0(\mathrm{resp.}~\Sigma^1_1)\text{-}\mathsf{DC}_0$ and…

We give an explicit algebraic description, based on prismatic cohomology, of the algebraic K-groups of rings of the form $O_K/I$ where $K$ is a p-adic field and $I$ is a non-trivial ideal in the ring of integers $O_K$; this class includes…

We show that the K-groups K_{n}(O) for O the integers or an order in a CM field and n>0 appear as direct summands of the homotopy groups of various localisations of Zakharevich's K-theory space. After rationalisation and going to the…

We investigate a generalization of the {\L}o\'s-Tarski preservation theorem via the semantic notion of \emph{preservation under substructures modulo $k$-sized cores}. It was shown earlier that over arbitrary structures, this semantic notion…

We introduce a new class of algebras called Poisson orders. This class includes the symplectic reflection algebras of Etingof and Ginzburg, many quantum groups at roots of unity, and enveloping algebras of restricted Lie algebras in…

Following the lines of the analysis done in [BPZ07, BCF07] for first-order G\"odel logics, we present an analogous investigation for Nilpotent Minimum logic NM. We study decidability and reciprocal inclusion of various sets of first-order…

There is no infinite sequence of $\Pi^1_1$-sound extensions of $\mathsf{ACA}_0$ each of which proves $\Pi^1_1$-reflection of the next. This engenders a well-founded ``reflection ranking'' of $\Pi^1_1$-sound extensions of $\mathsf{ACA}_0$.…

For an additive Waldhausen category linear over a ring $k$, the corresponding $K$-theory spectrum is a module spectrum over the $K$-theory spectrum of $k$. Thus if $k$ is a finite field of characteristic $p$, then after localization at $p$,…

Let $F$ be a finite extension of $\mathbb{Q}_p$. The so-called supersingular representations are the basic building blocks in the theory of mod $p$ representations of ${\rm GL}_2(F)$. The space of pro-$p$-Iwahori invariants of a universal…

We provide mutual elementary recursive order isomorphisms between classical ordinal notations, based on Skolem hulling, and notations from pure elementary patterns of resemblance of order $2$, showing that the latter characterize the…