Related papers: Generic expansions of countable models
Cubical type theory provides a constructive justification to certain aspects of homotopy type theory such as Voevodsky's univalence axiom. This makes many extensionality principles, like function and propositional extensionality, directly…
A new notion of typicality for arbitrary probability measures on standard Borel spaces is proposed, which encompasses the classical notions of weak and strong typicality as special cases. Useful lemmas about strong typical sets, including…
The theory of matrix models is reviewed from the point of view of its relation to integrable hierarchies. Determinantal formulas, relation to conformal field models and the theory of Generalized Kontsevich model are discussed in some…
In a classical Hamiltonian theory with second class constraints the phase space functions on the constraint surface are observables. We give general formulas for extended observables, which are expressions representing the observables in…
Let $\mathrm{XY_{L,T}}$ denote the class of countably infinite $L$-structures that satisfy the axioms $T$ and in which all homomorphisms of type X (these could be homomorphisms, monomorphisms, or isomorphisms) between finite substructures…
We obtain several results concerning the concept of isotypic structures. Namely we prove that any field of finite transcendence degree over a prime subfield is defined by types; then we construct isotypic but not isomorphic structures with…
Geometric property (T) was defined by Willett and Yu, first for sequences of graphs and later for more general discrete spaces. Increasing sequences of graphs with geometric property (T) are expanders, and they are examples of coarse spaces…
We show pro-definability of spaces of definable types in various classical complete first order theories, including complete o-minimal theories, Presburger arithmetic, $p$-adically closed fields, real closed and algebraically closed valued…
In \cite{FGLNP}, Fox, Gromov, Lafforgue, Naor and Pach, in a respond to a question of Gromov \cite{G}, constructed bounded degree geometric expanders, namely, simplical complexes having the affine overlapping property. Their explicit…
We define the notion of generic cut between models of ZFC and give some examples.
The problem of quantizing theories defined over configuration spaces described by non-commuting parameters is considered. In this paper we describe the first step in this direction, that is the definition of an integral over a general…
The generalized cluster complex was introduced by Fomin and Reading, as a natural extension of the Fomin-Zelevinsky cluster complex coming from finite type cluster algebras. In this work, to each face of this complex we associate a…
Arcs and caps are fundamental structures in finite projective spaces. They can be generalised. Here, a survey is given of some important results on these objects, in particular on generalised ovals and generalised ovoids. The paper also…
We present three examples of countable homogeneous structures (also called Fraisse limits) whose automorphism groups are not universal, namely, fail to contain isomorphic copies of all automorphism groups of their substructures. Our first…
Hrushovski's suggestion, given in ["Groupoids, imaginaries and internal covers," Turkish Journal of Mathematics , 2012], to capture the structure of the 1-analysable covers of a theory T using simplicial groupoids definable in T is realized…
We extend the concept of Krylov complexity to include general unitary evolutions involving multiple generators. This generalization enables us to formulate a framework for generalized Krylov complexity, which serves as a measure of the…
Tate cohomology has been generalised by several authors using different constructions that have applications in group theory, ring theory and homotopical algebra. Therefore, there is a need for a uniform account that explains why their…
We consider general structures where formulas have truth values in the real unit interval as in continuous model theory, but whose predicates and functions need not be uniformly continuous with respect to a distance predicate. Every general…
Using a Zariski topology associated to a finite field extensions, we give new proofs and generalize the primitive and normal basis theorems.
We show that a considerable part of the theory of (ultra)distributions and hyperfunctions can be extended to more singular generalized functions, starting from an angular localizability notion introduced previously. Such an extension is…