:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ovalle, Nicolás Cuervo, Goldbring, Isaac
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic
Online-Zugang:	https://arxiv.org/abs/2506.06187
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The Schröder-Bernstein property for operators on Hilbert spaces
von: Ovalle, Nicolás Cuervo, et al.
Veröffentlicht: (2025)

General real-valued theories with the Schröder-Bernstein property are stable
von: Berenstein, Alexander, et al.
Veröffentlicht: (2025)

Model theory of Hilbert spaces expanded by normal operators
von: Berenstein, Alexander, et al.
Veröffentlicht: (2025)

Computably strongly self-absorbing C*-algebras
von: Goldbring, Isaac
Veröffentlicht: (2024)

Undecidability and incompleteness in quantum information theory and operator algebras
von: Goldbring, Isaac
Veröffentlicht: (2024)

On definability of C*-tensor norms
von: Goldbring, Isaac, et al.
Veröffentlicht: (2025)

Model theory and Connes' bicentralizer problem
von: Ando, Hiroshi, et al.
Veröffentlicht: (2026)

On the First-Order Free Group Factor Alternative
von: Goldbring, Isaac, et al.
Veröffentlicht: (2023)

Effective subfactor theory
von: Fox, Alec, et al.
Veröffentlicht: (2024)

Ultrapowers of spectral subspaces
von: Ando, Hiroshi, et al.
Veröffentlicht: (2026)

A nonstandard approach to the direct integral version of the Spectral Theorem
von: Goldbring, Isaac, et al.
Veröffentlicht: (2025)

Back-and-forth equivalent group von Neumann algebras
von: Goldbring, Isaac, et al.
Veröffentlicht: (2024)

Non-computability of $K$-theory for computably presented C*-algebras
von: Eagle, Christopher J., et al.
Veröffentlicht: (2026)

Computable $K$-theory for C*-algebras II: AF algebras
von: Eagle, Christopher J., et al.
Veröffentlicht: (2026)

Existentially closed measure-preserving actions of approximately treeable groups
von: Goldbring, Isaac, et al.
Veröffentlicht: (2025)

Computable $K$-theory for $\mathrm{C}^*$-algebras: UHF algebras
von: Eagle, Christopher, et al.
Veröffentlicht: (2025)

SB-property on metric structures
von: Argoty, Camilo, et al.
Veröffentlicht: (2023)

Totally Bounded Elements in W*-probability Spaces
von: Arulseelan, Jananan, et al.
Veröffentlicht: (2025)

Computable Gelfand Duality
von: Burton, Peter, et al.
Veröffentlicht: (2024)

Bridging Computational Notions of Depth
von: Bienvenu, Laurent, et al.
Veröffentlicht: (2024)

From learnable objects to learnable random objects
von: Anderson, Aaron, et al.
Veröffentlicht: (2025)

Dynamic Probability Logic: Decidability & Computability
von: Chopoghloo, Somayeh, et al.
Veröffentlicht: (2024)

Fixed Point Theorems in Computability Theory
von: Terwijn, Sebastiaan A.
Veröffentlicht: (2024)

Computing with Infinite Objects: the Gray Code Case
von: Spreen, Dieter, et al.
Veröffentlicht: (2021)

A very sharp threshold for first order logic distinguishability of random graphs
von: Benjamini, Itai, et al.
Veröffentlicht: (2022)

First order complexity of finite random structures
von: Demin, Danila, et al.
Veröffentlicht: (2024)

Evaluative presentations
von: McNicholl, Timothy H.
Veröffentlicht: (2024)

Meta-Mathematics of Computational Complexity Theory
von: Oliveira, Igor C.
Veröffentlicht: (2025)

Computable Scott sentences and the weak Whitehead problem for finitely presented groups
von: Paolini, Gianluca
Veröffentlicht: (2023)

Pathwise-random trees and models of second-order arithmetic
von: Barmpalias, George, et al.
Veröffentlicht: (2021)

Finitely presented groups with transcendental spectral radius
von: Bodart, Corentin, et al.
Veröffentlicht: (2024)

On the consistency of NF via Fuzzy Forcing
von: Simón, Nicolás Sevilla
Veröffentlicht: (2025)

Cardinal Characteristics and Computability
von: McDonald, Logan
Veröffentlicht: (2025)

Computability of dimension groups
von: Sabitova, Maria
Veröffentlicht: (2025)

A finite presentation of graphs of treewidth at most three
von: Doumane, Amina, et al.
Veröffentlicht: (2024)

Generically Computable Linear Orderings
von: Calvert, Wesley, et al.
Veröffentlicht: (2024)

Algorithmic randomness in harmonic analysis
von: Franklin, Johanna N. Y., et al.
Veröffentlicht: (2026)

Higher presentable categories and limits
von: Aoki, Ko
Veröffentlicht: (2025)

Computable Scott Sentences and the Friedman-Stanley embedding
von: Gonzalez, David, et al.
Veröffentlicht: (2026)

Computable classifications of continuous, transducer, and regular functions
von: Franklin, Johanna N. Y., et al.
Veröffentlicht: (2020)