Related papers: Mahlo classes for first-order reflections

The requirement of reflection positivity(RP) for Euclidean field theories is considered. This is done for the cases of a scalar field, a higher derivative scalar field theory and the scalar field theory defined on a non-integer dimensional…

Classes of multisorted minions closed under extensions, reflections, and direct powers are considered from a relational point of view. As a generalization of a result of Barto, Opr\v{s}al, and Pinsker, the closure of a multisorted minion is…

In this paper we define Martin-L\"{o}f complexes to be algebras for monads on the category of (reflexive) globular sets which freely add cells in accordance with the rules of intensional Martin-L\"{o}f type theory. We then study the…

Let $K$ be a finite extension of the $p$-adic numbers $\mathbb Q_p$ with ring of integers $\mathcal O_K$, $\mathcal X$ a regular scheme, proper, flat, and geometrically irreducible over $\mathcal O_K$ of dimension $d$, and $\mathcal X_K$…

We investigate the diagonal generating function of the Jacobi-Stirling numbers of the second kind $ \JS(n+k,n;z)$ by generalizing the analogous results for the Stirling and Legendre-Stirling numbers. More precisely, letting…

This article is concerned with classifying the provably total set-functions of Kripke-Platek set theory, KP, and Power Kripke-Platek set theory, KP(P), as well as proving several (partial) conservativity results. The main technical tool…

We generalize Fitting's work on Intuitionistic Kripke models of Set Theory using Ono and Komori's Residuated Kripke models. Based on these models, we provide a generalization of the von Neumann hierarchy in the context of Modal Residuated…

Let E be a cyclic extension of degree p^n of a field F of characteristic p. Using arithmetic invariants of E/F we determine k_mE, the Milnor K-groups K_mE modulo p, as Fp[Gal(E/F)]-modules for all m in N. In particular, we show that each…

We study the production amplitude for the reaction NN->NNpi up to next--to--leading order in chiral perturbation theory using a counting scheme that takes into account the large scale introduced by the initial momentum. In particular we…

We study compressible types in the context of (local and global) NIP. By extending a result in machine learning theory (the existence of a bound on the recursive teaching dimension), we prove density of compressible types. Using this, we…

Following Gluck and Wolf we complete the It\^o--Michler's Theorem for the projective representations of a $p$-solvable or $\pi$-separable group, and then we relate the projective irreducible modules of such a group with those of its Sylow…

We apply Mackey procedure of classifying projective systems of imprimitivity to a thorough study of the projective unitary irreducible representations of the Galilei group in 1+3 and 1+2 dimensions.

Let K be a finite unramified extension of Q_p. We parametrize the (phi, Gamma)-modules corresponding to reducible two-dimensional mod p representations of G_K and characterize those which have reducible crystalline lifts with certain…

Field redefinitions at string 1-loop order are often required by supersymmetry, for instance in order to make the K\"ahler structure of the scalar kinetic terms manifest. We derive the general structure of the field redefinitions and the…

We define a complete set of supertraces on the algebra $SH_N(\nu)$, the algebra of observables of the $N$-body rational Calogero model with harmonic interaction. This result extends the previously known results for the simplest cases of…

Following a recent group theoretical quantization of the symplectic space S={(phi in R mod 2pi, p>0)} in terms of irreducible unitary representations of the group SO(1,2) the present paper proposes an application of those results to the old…

We study the expressive power of successor-invariant first-order logic, which is an extension of first-order logic where the usage of an additional successor relation on the structure is allowed, as long as the validity of formulas is…

In a previous work, B\'ona and Pantone studied permutations that avoided all but one pattern of length $k$ that began with a length $k-1$ increasing subsequence. We draw the connection between that idea and distant patterns, first discussed…

Let kappa be a regular uncountable cardinal and lambda >=kappa^+ . The principle of stationary reflection for P_kappa lambda has been successful in settling problems of infinite combinatorics in the case kappa=omega_1. For a greater kappa…

For every $k\in \mathbb{N}$, we produce a set of integers which is $k$-recurrent but not $(k+1)$-recurrent. This extends a result of Furstenberg who produced a 1-recurrent set which is not 2-recurrent. We discuss a similar result for…