Do you want to publish a course? Click here

Hilbert Spaces with Generic Predicates

252   0   0.0 ( 0 )
 Publication date 2017
  fields
and research's language is English




Ask ChatGPT about the research

We study the model theory of expansions of Hilbert spaces by generic predicates. We first prove the existence of model companions for generic expansions of Hilbert spaces in the form first of a distance function to a random substructure, then a distance to a random subset. The theory obtained with the random substructure is {omega}-stable, while the one obtained with the distance to a random subset is $TP_2$ and $NSOP_1$. That example is the first continuous structure in that class.



rate research

Read More

117 - Itai Ben Yaacov 2009
We prove that $IHS_A$, the theory of infinite dimensional Hilbert spaces equipped with a generic automorphism, is $aleph_0$-stable up to perturbation of the automorphism, and admits prime models up to perturbation over any set. Similarly, $APr_A$, the theory of atomless probability algebras equipped with a generic automorphism is $aleph_0$-stable up to perturbation. However, not allowing perturbation it is not even superstable.
229 - T. Moraschini 2019
Abstract algebraic logic is a theory that provides general tools for the algebraic study of arbitrary propositional logics. According to this theory, every logic L is associated with a matrix semantics Mod*(L). This paper is a contribution to the systematic study of the so-called truth sets of the matrices in Mod*(L). In particular, we show that the fact that the truth sets of Mod*(L) can be defined by means of equations with universally quantified parameters is captured by an order-theoretic property of the Leibniz operator restricted to deductive filters of L. This result was previously known for equational definability without parameters. Similarly, it was known that the truth sets of Mod*(L) are implicitly definable if and only if the Leibniz operator is injective on deductive filters of L over every algebra. However, it was an open problem whether the injectivity of the Leibniz operator transfers from the theories of L to its deductive filters over arbitrary algebras. We show that this is the case for logics expressed in a countable language, and that it need not be true in general. Finally we consider an intermediate condition on the truth sets in Mod*(L) that corresponds to the order-reflection of the Leibniz operator.
82 - Francoise Point 2020
We continue the study of a class of topological $mathcal{L}$-fields endowed with a generic derivation $delta$, focussing on describing definable groups. We show that one can associate to an $mathcal{L}_{delta}$ definable group a type $mathcal{L}$-definable topological group. We use the group configuration tool in o-minimal structures as developed by K. Peterzil.
128 - Alexander Usvyatsov 2008
We compare three notions of genericity of separable metric structures. Our analysis provides a general model theoretic technique of showing that structures are generic in descriptive set theoretic (topological) sense and in measure theoretic sense. In particular, it gives a new perspective on Vershiks theorems on genericity and randomness of Urysohns space among separable metric spaces.
126 - Alexander Usvyatsov 2019
We prove that a wide Morley sequence in a wide generically stable type is isometric to the standard basis of an $ell_p$ space for some $p$.
comments
Fetching comments Fetching comments
Sign in to be able to follow your search criteria
mircosoft-partner

هل ترغب بارسال اشعارات عن اخر التحديثات في شمرا-اكاديميا