Results 31 to 40 of about 111 (106)
Properties of semigroups of elementary types of model classes
Қарағанды университетінің хабаршысы. Математика сериясыThe study of classes of first-order countable language models and their properties is an important direction in model theory. Of particular interest are axiomatizable classes of models (varieties, quasivarieties, finitely axiomatizable classes ...
A. Kabidenov +3 more
doaj +1 more source
Formal model theory and higher topology
Mathematical Logic Quarterly, Volume 70, Issue 1, Page 111-125, February 2024.Abstract We study the 2‐categories BIon, of (generalized) bounded ionads, and Accω$\text{Acc}_\omega$, of accessible categories with directed colimits, as an abstract framework to approach formal model theory. We relate them to topoi and (lex) geometric sketches, which serve as categorical specifications of geometric theories. We provide reconstruction
Ivan Di Liberti
wiley +1 more source
Ultraproduct for Quantum Structures
Logic and Logical Philosophy, 2018 Quantum Kripke frames are certain quantum structures recently introduced by Zhong. He has defined certain properties such as Existence of Approximation and Superposition for these structures. In this paper, we define the ultraproduct for the family of quantum Kripke frames and show that the aforementioned properties are invariant under ultraproduct. In
Moniri, Morteza, Shirinkalam, Elahe
openaire +2 more sources
Word maps with constants on symmetric groups
Mathematische Nachrichten, Volume 297, Issue 1, Page 165-173, January 2024.Abstract We study word maps with constants on symmetric groups. Even though there are non‐trivial mixed identities of bounded length that are valid for all symmetric groups, we show that no such identities can hold in the limit in a metric sense. Moreover, we prove that word maps with constants and non‐trivial content, that are short enough, have an ...
Jakob Schneider, Andreas Thom
wiley +1 more source
Ultraproducts of von Neumann algebras and ergodicity
Учёные записки Казанского университета: Серия Физико-математические науки, 2018 An ultraproduct of any linear spaces with respect of a non-trivial ultrafilter in an index set is generalization of the non-standard expansion *R of the set of real numbers R.
S.G. Haliullin
doaj
Unitaries in ultraproduct of matrices
Journal of Operator Theory, 2017 We study various conditions under which a unitary in an ultraproduct of matrices is conjugated to an ultraproduct of permutations.
openaire +2 more sources
Categorical Smoothness of 4-Manifolds from Quantum Symmetries and the Information Loss Paradox. [PDF]
Entropy (Basel), 2022 Król J, Asselmeyer-Maluga T.
europepmc +1 more source
Irish Mathematical Society Bulletin, 1987 This note presents a useful tool in Banach space theory: ultraproducts of Banach spaces. These provide a uniform method for manufacturing locally similar Banach spaces. In this way they relate local (finite dimensional) and global (infinite dimensional) structure.
openaire +2 more sources
Ultraproducts and metastability
, 2013 Given a convergence theorem in analysis, under very general conditions a model-theoretic compactness argument implies that there is a uniform bound on the rate of metastability. We illustrate with three examples from ergodic theory.
Avigad, Jeremy, Iovino, José
openaire +3 more sources