Related papers: Positive Robinson theories and h-maximal models
It is here proposed an analysis of symbolic and sub-symbolic models for studying cognitive processes, centered on emergence and logical openness notions.The Theory of Logical Openness connects the Physics of system/environment relationships…
We introduce a new class of two(multi)-matrix models of positive Hermitean matrices coupled in a chain; the coupling is related to the Cauchy kernel and differs from the exponential coupling more commonly used in similar models. The…
We propose a new computational-level objective function for theoretical biology and theoretical neuroscience that combines: reinforcement learning, the study of learning with feedback via rewards; rate-distortion theory, a branch of…
Homotopy type theory is an interpretation of Martin-L\"of's constructive type theory into abstract homotopy theory. There results a link between constructive mathematics and algebraic topology, providing topological semantics for…
We give Hennessy-Milner classes for intuitionistic, dual-intuitionistic and bi-intuitionistic logic interpreted in intuitionistic Kripke models, and generalise these results to modal (dual- and bi-)intuitionistic logics. Our main technical…
We give a concrete characterization of the rational conjugacy classes of maximal tori in groups of type $D_n$, with specific emphasis on the case of number fields and p-adic fields. This includes the forms associated to quadratic spaces,…
We derive the kinematic Hamiltonian for the so-called "new general relativity" class of teleparallel gravity theories, which is the most general class of theories whose Lagrangian is quadratic in the torsion tensor and does not contain…
A supereigenvalue model with purely positive bosonic eigenvalues is presented and solved by considering its superloop equations. This model represents the supersymmetric generalization of the complex one matrix model, in analogy to the…
The variable inclusion companions of logics have lately been thoroughly studied by multiple authors. There are broadly two types of these companions: the left and the right variable inclusion companions. Another type of companions of logics…
Let X be a noetherian scheme defined over an algebraically closed field of positive characteristic p, and G be a finite group, of order divisible by p, acting on X. We introduce a refinement of the equivariant K-theory of X to take into…
Following recent work of R. Cluckers and F. Loeser [Fonctions constructible et integration motivic I, C. R. Math. Acad. Sci. Paris 339 (2004) 411 - 416] on motivic integration, we develop a direct image formalism for positive constructible…
We construct Hamiltonians for systems of nonrelativistic particles linearly coupled to massive scalar bosons using abstract boundary conditions. The construction yields an explicit characterisation of the domain of self-adjointness in terms…
Given a class $\mathcal C$ of models, a binary relation ${\mathcal R}$ between models, and a model-theoretic language $L$, we consider the modal logic and the modal algebra of the theory of $\mathcal C$ in $L$ where the modal operator is…
We study approximate equivalence relations up to commensurability, in the presence of a definable measure. As a basic framework, we give a presentation of probability logic based on continuous logic. Hoover's normal form is valid here; if…
We consider a Hamiltonian $H$ which is the sum of a deterministic part $H_0$ and of a random potential $V$. For finite $N \times N$ matrices, following a method introduced by Kazakov, we derive a representation of the correlation functions…
In this study, we first define the local potential associated to a weakly positive closed supercurrent in analogy to the one investigated by Ben Messaoud and El Mir in the complex setting. Next, we study the definition and the continuity of…
In this paper, we investigate the well-posedness and positivity property of infinite-dimensional linear system with unbounded input and output operators. In particular, we characterize the internal and external positivity for this class of…
We study links between first-order formulas and arbitrary properties for families of theories, classes of structures and their isomorphism types. Possibilities for ranks and degrees for formulas and theories with respect to given properties…
The extended class of multiplicative row-column (RC) association models, introduced in this paper for two-way contingency tables, allows users to select both the type of logit (local, global, continuation, reverse continuation) suitable for…
Refection Positivity is a central theme at the crossroads of Lie group representations, euclidean and abstract harmonic analysis, constructive quantum field theory, and stochastic processes. This book provides the first presentation of the…