borel complexity
Recently Published Documents


TOTAL DOCUMENTS

30
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

2020 ◽  
pp. 102913
Author(s):  
Inessa Moroz ◽  
Asger Törnquist
Keyword(s):  

2020 ◽  
Vol 373 (7) ◽  
pp. 4561-4584
Author(s):  
Dylan Airey ◽  
Steve Jackson ◽  
Dominik Kwietniak ◽  
Bill Mance

2020 ◽  
Vol 270 ◽  
pp. 107042
Author(s):  
Adam Bartoš
Keyword(s):  

2017 ◽  
Vol 82 (2) ◽  
pp. 453-473 ◽  
Author(s):  
RICHARD RAST ◽  
DAVENDER SINGH SAHOTA

AbstractGiven a countable o-minimal theory T, we characterize the Borel complexity of isomorphism for countable models of T up to two model-theoretic invariants. If T admits a nonsimple type, then it is shown to be Borel complete by embedding the isomorphism problem for linear orders into the isomorphism problem for models of T. This is done by constructing models with specific linear orders in the tail of the Archimedean ladder of a suitable nonsimple type.If the theory admits no nonsimple types, then we use Mayer’s characterization of isomorphism for such theories to compute invariants for countable models. If the theory is small, then the invariant is real-valued, and therefore its isomorphism relation is smooth. If not, the invariant corresponds to a countable set of reals, and therefore the isomorphism relation is Borel equivalent to F2.Combining these two results, we conclude that $\left( {{\rm{Mod}}\left( T \right), \cong } \right)$ is either maximally complicated or maximally uncomplicated (subject to completely general model-theoretic lower bounds based on the number of types and the number of countable models).


2017 ◽  
Vol 239 (2) ◽  
pp. 101-147 ◽  
Author(s):  
Douglas Ulrich ◽  
Richard Rast ◽  
Michael C. Laskowski

2016 ◽  
Vol 201 ◽  
pp. 372-387 ◽  
Author(s):  
Dikran Dikranjan ◽  
Daniele Impieri
Keyword(s):  

2015 ◽  
Vol 21 (4) ◽  
pp. 402-424 ◽  
Author(s):  
MARTINO LUPINI

AbstractWe present an overview of the recent developments in the study of the classification problem for automorphisms of C*-algebras from the perspective of Borel complexity theory.


2015 ◽  
Vol 145 (6) ◽  
pp. 1115-1144 ◽  
Author(s):  
Hiroshi Ando ◽  
Yasumichi Matsuzawa

The Weyl–von Neumann theorem asserts that two bounded self-adjoint operators A, B on a Hilbert space H are unitarily equivalent modulo compacts, i.e.uAu* + K = B for some unitary u 𝜖 u(H) and compact self-adjoint operator K, if and only if A and B have the same essential spectrum: σess (A) = σess (B). We study, using methods from descriptive set theory, the problem of whether the above Weyl–von Neumann result can be extended to unbounded operators. We show that if H is separable infinite dimensional, the relation of unitary equivalence modulo compacts for bounded self-adjoint operators is smooth, while the same equivalence relation for general self-adjoint operators contains a dense Gδ-orbit but does not admit classification by countable structures. On the other hand, the apparently related equivalence relation A ~ B ⇔ ∃u 𝜖 U(H) [u(A-i)–1u* - (B-i)–1 is compact] is shown to be smooth.


2015 ◽  
Vol 268 (12) ◽  
pp. 3767-3789 ◽  
Author(s):  
David Kerr ◽  
Martino Lupini ◽  
N. Christopher Phillips
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document