Related papers: Positive Robinson theories and h-maximal models

We revisit the $R-$positivity of nearest neighbors matrices on ${\ZZ_+}$ and the Gibbs measures on the set of nearest neighbors trajectories on ${\ZZ_+}$ whose Hamiltonians award either visits to sites a or visits to edges. We give…

We study type spaces and saturation for local positive logic.

Logics closed under classes of substitutions broader than class of uniform substitutions are known as hyperformal logics. This paper extends known results about hyperformal logics in two ways. First: we examine a very powerful form of…

In this article we raise some new questions about positive definite functions on free groups, and explain how these are related to more well-known questions. The article is intended as a survey of known results that also offers some new…

We give a new criterion guaranteeing existence of model structures left-induced along a functor admitting both adjoints. This works under the hypothesis that the functor induces idempotent adjunctions at the homotopy category level. As an…

Let $\mathcal M=(M,<,...)$ be a linearly ordered first-order structure and $T$ its complete theory. We investigate conditions for $T$ that could guarantee that $\mathcal M$ is not much more complex than some colored orders (linear orders…

We establish a positivity property for a class of semilinear elliptic problems involving indefinite sublinear nonlinearities. Namely, we show that any nontrivial nonnegative solution is positive for a class of problems the strong maximum…

Let $R$ be a discrete valuation ring, and $K$ its fraction field. In 1967, Raynaud initiated the notion of maximal $R$-model for torsors over $K$, and it was further developed by Lewin-M\'en\'egaux. In this paper, motivated by a conjectural…

The purpose of the paper is to review a variety of recent developments in the theory of positive solutions of general linear elliptic and parabolic equations of second-order on noncompact Riemannian manifolds, and to point out a number of…

The bulk of this paper is devoted to the comparison of several models for the theory of (infinity,2)-categories: that is, higher categories in which all k-morphisms are invertible for k > 2 (the case of (infinity,n)-categories is also…

Well-known principles of induction include monotone induction and different sorts of non-monotone induction such as inflationary induction, induction over well-founded sets and iterated induction. In this work, we define a logic formalizing…

In this paper we study the logical foundations of automated inductive theorem proving. To that aim we first develop a theoretical model that is centered around the difficulty of finding induction axioms which are sufficient for proving a…

We exhibit a computational type theory which combines the higher-dimensional structure of cartesian cubical type theory with the internal parametricity primitives of parametric type theory, drawing out the similarities and distinctions…

We present and analyze a natural hierarchy of weak theories, develop analysis in them, and show that they are interpretable in bounded quantifier arithmetic $\text{I}\Delta_0$ (and hence in Robinson arithmetic Q). The strongest theories…

We extend the theory of holomorphic induction of unitary representations of a possibly infinite-dimensional Lie group $G$ beyond the setting where the representation being induced is required to be norm-continuous. We allow the group $G$ to…

We define an extension of predicate logic, called Binding Logic, where variables can be bound in terms and in propositions. We introduce a notion of model for this logic and prove a soundness and completeness theorem for it. This theorem is…

For linear bose field theories, I show that if a classical Hamiltonian function is strictly positive, then there is a canonical transformation making the evolution orthogonal. This structure theorem is used to analyze the corresponding…

The shortcomings of maximum likelihood estimation in the context of model-based reinforcement learning have been highlighted by an increasing number of papers. When the model class is misspecified or has a limited representational capacity,…

We follow a stream of the history of positive matrices and positive functionals, as applied to algebraic sums of squares decompositions, with emphasis on the interaction between classical moment problems, function theory of one or several…

We settle a conjecture by Bik and Marigliano stating that the degree of a one-dimensional discrete model with rational maximum likelihood estimator is bounded above by a linear function in the size of its support, therefore showing that…