6 citations
- Mathematical Institute of the Serbian Academy of Sciences and Arts4 papers
- Arheološki InstitutRS1 paper
- Cardinal Stefan Wyszynski University in WarsawPL1 paper
- Czech Academy of SciencesCZ1 paper
- Czech Academy of Sciences, Astronomical InstituteCZ1 paper
- Czech Academy of Sciences, Institute of MathematicsCZ1 paper
- Fields Institute for Research in Mathematical SciencesCA1 paper
- Institut de Mathématiques de Jussieu-Paris Rive GaucheFR1 paper
- Laboratoire de Mathématiques Blaise PascalFR1 paper
- Lakehead UniversityCA1 paper
- Le LAMAFR1 paper
- Mathematical Institute of the Slovak Academy of SciencesSK1 paper
6 papers
Quantum Expanders and Quantifier Reduction for Tracial von Neumann Algebras
Ilijas Farah, David Jekel, Jennifer Pi
We provide a complete characterization of theories of tracial von Neumann algebras that admit quantifier elimination. We also show that the theory of a separable tracial von Neuman…
Preservation of elementarity by tensor products of tracial von Neumann algebras
Ilijas Farah, Saeed Ghasemi
Tensoring with type I algebras preserves elementary equivalence in the category of tracial von Neumann algebras. The proof involves a novel and general Feferman--Vaught-type theore…
Polynomial entropy of induced maps of circle and interval homeomorphisms
Maša Djorić, Jelena Katić
We compute the polynomial entropy of the induced maps on hyperspace for a homeomorphism of an interval or a circle with finitely many non-wandering points.
Ultrafilter selection and Corson compacta
Robert Bonnet, Wieslaw Kubiś, Stevo Todorčević
We study the question which Boolean algebras have the property that for every generating set there is an ultrafilter selecting maximal number of its elements. We call it the ultraf…
Moving inhomogeneous envelopes of stars
Lidia M. Oskinova, Brankica Kubatova, Wolf-Rainer Hamann
Massive stars are extremely luminous and drive strong winds, blowing a large part of their matter into the galactic environment before they finally explode as a supernova. Quantita…
Coherence of Proof-Net Categories
K. Dosen, Z. Petric
The notion of proof-net category defined in this paper is closely related to graphs implicit in proof nets for the multiplicative fragment without constant propositions of linear l…