Related papers: On the future cover of a sofic shift

We present a covering conjecture that we expect to be true below superstrong cardinals. We then show that the conjecture is true in hod mice. This work is a continuation of the work that started in Covering with Universally Baire Functions…

Cubical type theory provides a constructive justification of homotopy type theory. A crucial ingredient of cubical type theory is a path lifting operation which is explained computationally by induction on the type involving several…

We sketch recent interactions between model theory and a roughly 150-year old study of analytic functions involving complex analysis, algebraic topology, and number theory, centered in canonicity of universal covers. Towards this goal we…

This paper presents the main results in my Ph.D. thesis. In what follows several proofs of SCH are presented introducing a family of covering properties which implies both SCH and the failure of various forms of square. These covering…

The current paper represents the first part: it contains the results concerning the lifting of twisted canonical sections defined on an infinitesimal neighborhood of the central fiber of a smooth, proper K\"ahler family which verify a…

We explore the canonical Grothendieck topology and a new homotopical analog. First we discuss some background information, including defining a new 2-category called the Index-Functor Category and a sieve generalization. Then we discuss a…

We give a variational proof of the existence and uniqueness of a convex cap with the given upper boundary. The proof uses the concavity of the total scalar curvature functional on the space of generalized convex caps. As a byproduct, we…

We determine a strong form of the decomposition theorem for proper toric maps over finite fields.

This work uses mostly model-theoretic methods to establish new proof-theoretic theorems about several axiomatic theories of truth over KP (Kripke-Platek set theory) and stronger theories, especially ZF (Zermelo-Fraenkel set theory).

We give a simpler and more conceptual proof that a morphism from a 3-fold to a surface, over an algebraically closed field of characteristic 0, can be made into a toroidal morphism by sequences of blow ups of nonsingular subvarieties above…

A new generalization of the classical separate algebraicity theorem is suggested and proved.

This paper gives a systematic construction of certain covers of finite semigroups. These covers will be used in future work on the complexity of finite semigroups.

A generalized canonical form of multi-time dynamical theories is proposed. This form is a starting point for a modified canonical quantization procedure of theories based on a quantum version of the action principle. As an example, the…

A recent paper promises new constructions that may make it possible to achieve covariance in spherically symmetric models of loop quantum gravity. This claim is contrary to the discovery of several stubborn obstacles to covariance uncovered…

We introduce and study some variants of a notion of canonical set theoretical truth. By this, we mean truth in a transitive proper class model $M$ of ZFC that is uniquely characterized by some $\in$-formula. We show that there are…

We present a characterization for the continuous, isotropic and positive definite kernels on a product of spheres along the lines of a classical result of I. J. Schoenberg on positive definiteness on a single sphere. We also discuss a few…

We revisit Ahlfors theory of covering surfaces thanks to Stokes theorem.

Given a smooth affine curve X over a field k of positive characteristic, and an overconvergent F-isocrystal on X, we prove after replacing k by a finite purely inseparable extension, there exists a finite separable cover of X, the pullback…

A new construction, with more visible canonical features, of a qKdV equation in a q-Virasoro context is exhibited.

We introduce the notion of a `canonical' splitting over Z or ZxZ for a finitely generated group G. We show that when G happens to be the fundamental group of an orientable Haken manifold M with incompressible boundary, then the…