-
arXiv:2302.01220 [pdf, ps, other]
SB-property on metric structures
Abstract: A complete theory $T$ has the Schröder-Bernstein property or simply the SB-property if any pair of elementarily bi-embeddable models are isomorphic. This property has been studied in the discrete first-order setting and can be seen as a first step towards classification theory. This paper deals with the SB-property on continuous theories. Examples of complete continuous theories that have this pro… ▽ More
Submitted 14 March, 2024; v1 submitted 2 February, 2023; originally announced February 2023.
MSC Class: 03C45; 03C66
-
arXiv:1211.7155 [pdf, ps, other]
Forking and stability in the representations of a C*-algebra
Abstract: We show that the theory of a non-degenerate representation of a C*-algebra A over a Hilbert space H is superstable. Also, we characterize forking, orthogonality and domination of types and show that the theory has weak elimination of imaginaries.
Submitted 29 November, 2012; originally announced November 2012.
Comments: arXiv admin note: substantial text overlap with arXiv:1010.6188
-
arXiv:1107.2881 [pdf, ps, other]
A generalization of a classical model in contract theory: The agent behavior
Abstract: We present a first approximation of agent behaviour in a generalized model in contract theory. This model relaxes some of the the assumptions of one of the classical models allowing to include a broader range of agents. We introduce the motivation for the agent and reinterpret the classical definition of risk perception. Besides, we analyze different scenarios for the relation between the effort e… ▽ More
Submitted 14 July, 2011; originally announced July 2011.
MSC Class: 35Q91; 90B70; 91A13; 91A26; 91A30; 91A40; 91A80; 91B06; 91B16;
-
arXiv:1102.2454 [pdf, ps, other]
Model Theory of a Hilbert Space Expanded with an Unbounded Closed Selfadjoint Operator
Abstract: We study a closed unbounded self-adoint operator Q acting on a Hilbert space H in the framework of Metric Abstract Elementary Classes (MAECS). We build a suitable MAEC for (H,Q), prove it is aleph 0 stable up to perturbations and characterize non-splitting and show it has the same properties as non-forking in superstable first order theorues. Also, we characterize equality, orthogonality and domin… ▽ More
Submitted 6 June, 2011; v1 submitted 11 February, 2011; originally announced February 2011.
MSC Class: 03C45; 03C48; 03C52; 03C65; 03C98; 28E15; 37K05; 46C05; 46C07; 47A05;
-
arXiv:1010.6188 [pdf, ps, other]
Model theory of a non-degenerate representation of a unital C*-algebra
Abstract: We study the theory of a Hilbert space H as a module for a unital C*-algebra A from the point of view of continuous logic. We give an explicit axiomatization for this theory and describe the structure of all the representations which are elementary equivalent to it. We show that for every v in H the type of v over the empmtyset is in correspondence with the positive linear functional over A define… ▽ More
Submitted 29 November, 2012; v1 submitted 29 October, 2010; originally announced October 2010.
MSC Class: 03C45; 03C65; 03C98; 46L08; 46L30; 46L51; 46L52; 46L89;