Related papers: Positive Robinson theories and h-maximal models
As an extension of positive or almost positive diagrams and links, we introduce a notion of successively almost positive diagrams and links, and good successively almost positive diagrams and links. We review various properties of positive…
This is the first in a series of several articles. Our general purpose is to investigate Carlson's <_1-relation in the whole class of ordinals and later link it with ordinals of proof-theoretic interests. In this introductory article, after…
We extend Ayoub's formalism of motivic nearby cycle functor to the $\infty$-categorical level, and prove some desired cohomological properties by relating the motivic nearby cycle functor to the notion of local acyclicity in motivic…
This note begins the model-theoretic study of local real closed SV-rings of finite rank; to this end, a structure theorem for reduced local SV-rings of finite rank is given and branching ideals in local real closed rings of finite rank are…
In this note, we use the theory of test ideals and Cartier algebras to examine the interplay between the tight and integral closures in a local ring of positive characteristic. Using work of Schwede, we prove the abundance of strong test…
Positive-energy solutions of the Klein-Gordon equation form a Hilbert space of holomorphic functions on the future tube. This domain is interpreted as an extended phase space for the associated classical particle, the extra dimensions being…
A Hamiltonian analysis of models given by a three-form field with a generic potential coupled to general relativity in four dimensions is performed. This kind of fields are naturally present in string theory and cosmological scenarios. In…
We consider a simple modal logic whose non-modal part has conjunction and disjunction as connectives and whose modalities come in adjoint pairs, but are not in general closure operators. Despite absence of negation and implication, and of…
In the context of dependent type theory, we show that coinductive predicates have an equivalent topological counterpart in terms of coinductively generated positivity relations, introduced by G. Sambin to represent closed subsets in…
The purpose of this paper is to give a selective survey on recent progress in random metric theory and its applications to conditional risk measures. This paper includes eight sections. Section 1 is a longer introduction, which gives a…
The Cohen-Macaulay type of idealizations of maximal Cohen-Macaulay modules over Cohen-Macaulay local rings is explored. There are two extremal cases, one of which is closely related to the theory of Ulrich modules \cite{BHU, GOTWY1, GOTWY2,…
Category theory provides a means through which many far-ranging fields of mathematics can be related by their similar structure. In a paper by Robinson [2], this interconnectivity afforded by categorical perspectives allowed for the…
In the context of categories equipped with a structure of nullhomotopies, we introduce the notion of homotopy torsion theory. As special cases, we recover pretorsion theories as well as torsion theories in multi-pointed categories and in…
We compute rationally the topological (complex) K-theory of the classifying space BG of a discrete group provided that G has a cocompact G-CW-model for its classifying space for proper G-actions. For instance word-hyperbolic groups and…
We consider grammar-restricted exact learning of formulas and terms in finite variable logics. We propose a novel and versatile automata-theoretic technique for solving such problems. We first show results for learning formulas that…
We single out a notion of staticity which applies to any domain in hyperbolic space whose boundary is a non-compact totally umbilical hypersurface. For (time-symmetric) initial data sets modeled at infinity on any of these latter examples,…
We introduce a variation on Barthe et al.'s higher-order logic in which formulas are interpreted as predicates over open rather than closed objects. This way, concepts which have an intrinsically functional nature, like continuity,…
A definition of summability is put forward in the framework of general Carleman ultraholomorphic classes in sectors, so generalizing $k-$summability theory as developed by J.-P. Ramis. Departing from a strongly regular sequence of positive…
We draw the connection between the model theoretic notions of internality and the binding group on one hand, and the Tannakian formalism on the other. More precisely, we deduce the fundamental results of the Tannakian formalism by…
We associate a homomorphism in the Heisenberg group to each hyperbolic unimodular automorphism of the free group on two generators. We show that the first return-time of some flows in "good" sections, are conjugate to niltranslations, which…