Copertina

Computable presentations of randomizations

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Ovalle, Nicolás Cuervo, Goldbring, Isaac
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

Model theory of Hilbert spaces expanded by normal operators
di: Berenstein, Alexander, et al.
Pubblicazione: (2025)

Computably strongly self-absorbing C*-algebras
di: Goldbring, Isaac
Pubblicazione: (2024)

Undecidability and incompleteness in quantum information theory and operator algebras
di: Goldbring, Isaac
Pubblicazione: (2024)

On definability of C*-tensor norms
di: Goldbring, Isaac, et al.
Pubblicazione: (2025)

Model theory and Connes' bicentralizer problem
di: Ando, Hiroshi, et al.
Pubblicazione: (2026)

On the First-Order Free Group Factor Alternative
di: Goldbring, Isaac, et al.
Pubblicazione: (2023)

Effective subfactor theory
di: Fox, Alec, et al.
Pubblicazione: (2024)

Ultrapowers of spectral subspaces
di: Ando, Hiroshi, et al.
Pubblicazione: (2026)

Back-and-forth equivalent group von Neumann algebras
di: Goldbring, Isaac, et al.
Pubblicazione: (2024)

A nonstandard approach to the direct integral version of the Spectral Theorem
di: Goldbring, Isaac, et al.
Pubblicazione: (2025)

Computable $K$-theory for C*-algebras II: AF algebras
di: Eagle, Christopher J., et al.
Pubblicazione: (2026)

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

Existentially closed measure-preserving actions of approximately treeable groups
di: Goldbring, Isaac, et al.
Pubblicazione: (2025)

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

SB-property on metric structures
di: Argoty, Camilo, et al.
Pubblicazione: (2023)

Totally Bounded Elements in W*-probability Spaces
di: Arulseelan, Jananan, et al.
Pubblicazione: (2025)

Computable Gelfand Duality
di: Burton, Peter, et al.
Pubblicazione: (2024)

Bridging Computational Notions of Depth
di: Bienvenu, Laurent, et al.
Pubblicazione: (2024)

Dynamic Probability Logic: Decidability & Computability
di: Chopoghloo, Somayeh, et al.
Pubblicazione: (2024)

Fixed Point Theorems in Computability Theory
di: Terwijn, Sebastiaan A.
Pubblicazione: (2024)

From learnable objects to learnable random objects
di: Anderson, Aaron, et al.
Pubblicazione: (2025)

Computing with Infinite Objects: the Gray Code Case
di: Spreen, Dieter, et al.
Pubblicazione: (2021)

A very sharp threshold for first order logic distinguishability of random graphs
di: Benjamini, Itai, et al.
Pubblicazione: (2022)

Meta-Mathematics of Computational Complexity Theory
di: Oliveira, Igor C.
Pubblicazione: (2025)

Pathwise-random trees and models of second-order arithmetic
di: Barmpalias, George, et al.
Pubblicazione: (2021)

First order complexity of finite random structures
di: Demin, Danila, et al.
Pubblicazione: (2024)

Cardinal Characteristics and Computability
di: McDonald, Logan
Pubblicazione: (2025)

Computability of dimension groups
di: Sabitova, Maria
Pubblicazione: (2025)

On the consistency of NF via Fuzzy Forcing
di: Simón, Nicolás Sevilla
Pubblicazione: (2025)

Generically Computable Linear Orderings
di: Calvert, Wesley, et al.
Pubblicazione: (2024)

Evaluative presentations
di: McNicholl, Timothy H.
Pubblicazione: (2024)

Computable Scott Sentences and the Friedman-Stanley embedding
di: Gonzalez, David, et al.
Pubblicazione: (2026)

Computable classifications of continuous, transducer, and regular functions
di: Franklin, Johanna N. Y., et al.
Pubblicazione: (2020)

Computably totally disconnected locally compact groups
di: Melnikov, Alexander, et al.
Pubblicazione: (2022)

Finitely presented groups with transcendental spectral radius
di: Bodart, Corentin, et al.
Pubblicazione: (2024)

Computable Scott sentences and the weak Whitehead problem for finitely presented groups
di: Paolini, Gianluca
Pubblicazione: (2023)

At the Edge of Putnam's Program: Limitative Results For Computable Inductive Logics
di: Mercier, Antoine, et al.
Pubblicazione: (2026)

Recognizable sets and Woodin cardinals: Computation beyond the constructible universe
di: Carl, Merlin, et al.
Pubblicazione: (2015)