Algorithmic aspects of left-orderings of solvable Baumslag--Solitar groups via its dynamical realization
Fuente:
arXiv
Saved in:
| Main Authors: | Ho, Meng-Che "Turbo", Le, Khanh, Rossegger, Dino |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Scott sentence complexities of linear orderings
by: Gonzalez, David, et al.
Published: (2023)
by: Gonzalez, David, et al.
Published: (2023)
Terminal Absoluteness of Collapse Forcings
by: Straffelini, Cesare
Published: (2025)
by: Straffelini, Cesare
Published: (2025)
Algorithmically finite, universal, and $*$-universal groups
by: Andrews, Uri, et al.
Published: (2024)
by: Andrews, Uri, et al.
Published: (2024)
Feferman's completeness theorem
by: Pakhomov, Fedor, et al.
Published: (2024)
by: Pakhomov, Fedor, et al.
Published: (2024)
Externally definable fsg groups in NIP theories
by: Chernikov, Artem
Published: (2025)
by: Chernikov, Artem
Published: (2025)
Two results on complexities of decision problems of groups
by: Andrews, Uri, et al.
Published: (2024)
by: Andrews, Uri, et al.
Published: (2024)
On generic and supertight automorphisms
by: Kowalski, Piotr, et al.
Published: (2026)
by: Kowalski, Piotr, et al.
Published: (2026)
On Cohesive Products of Fields
by: Dimitrov, Rumen, et al.
Published: (2026)
by: Dimitrov, Rumen, et al.
Published: (2026)
Effective Completeness for S4.3.1-Theories with Respect to Discrete Linear Models
by: Nichols, David
Published: (2017)
by: Nichols, David
Published: (2017)
Isomorphism Spectra and Computably Composite Structures
by: Lakerdas-Gayle, Joey
Published: (2025)
by: Lakerdas-Gayle, Joey
Published: (2025)
On the computability of cofinal Fraïssé limits
by: Ackerman, Nathanael, et al.
Published: (2026)
by: Ackerman, Nathanael, et al.
Published: (2026)
On stable Kim-forking and rosy theories
by: Miguel-Gómez, Alberto
Published: (2025)
by: Miguel-Gómez, Alberto
Published: (2025)
Unreachability of Inductive-Like Pointclasses in $L(\mathbb{R})$
by: Levinson, Derek, et al.
Published: (2022)
by: Levinson, Derek, et al.
Published: (2022)
More Derived Models in PFA
by: Levinson, Derek, et al.
Published: (2026)
by: Levinson, Derek, et al.
Published: (2026)
Rank and Independence of Imaginaries in Proper Pairs of ACF
by: Zhu, Zixuan
Published: (2026)
by: Zhu, Zixuan
Published: (2026)
Fields of dp-Rank 2 and their W_2-Topologies: The Characteristic 2 Case
by: Moreno, Paulo Andrés Soto
Published: (2025)
by: Moreno, Paulo Andrés Soto
Published: (2025)
Preservation of NATP
by: Ahn, JinHoo, et al.
Published: (2022)
by: Ahn, JinHoo, et al.
Published: (2022)
Forcing Axioms, the Uniformization and the Basis Property
by: Hoffelner, Stefan
Published: (2020)
by: Hoffelner, Stefan
Published: (2020)
Separating Maximality Principles
by: Gappo, Takehiko, et al.
Published: (2025)
by: Gappo, Takehiko, et al.
Published: (2025)
Dichotomy results for classes of countable graphs
by: Cipriani, Vittorio, et al.
Published: (2025)
by: Cipriani, Vittorio, et al.
Published: (2025)
Blok-Esakia Theorems via Stable Canonical Rules
by: Bezhanishvili, Nick, et al.
Published: (2022)
by: Bezhanishvili, Nick, et al.
Published: (2022)
Learning Families of Algebraic Structures from Text
by: Bazhenov, Nikolay, et al.
Published: (2024)
by: Bazhenov, Nikolay, et al.
Published: (2024)
Analysis of HOD for Admissible Structures
by: Kruschewski, Jan, et al.
Published: (2025)
by: Kruschewski, Jan, et al.
Published: (2025)
Partial Tower Sealing
by: Sargsyan, Grigor, et al.
Published: (2025)
by: Sargsyan, Grigor, et al.
Published: (2025)
Generic multiplicative endomorphism of a field
by: d'Elbée, Christian
Published: (2022)
by: d'Elbée, Christian
Published: (2022)
Long games just beyond fixed countable length
by: Gappo, Takehiko, et al.
Published: (2026)
by: Gappo, Takehiko, et al.
Published: (2026)
$Σ_1$ gaps as derived models and correctness of mice
by: Schlutzenberg, Farmer, et al.
Published: (2023)
by: Schlutzenberg, Farmer, et al.
Published: (2023)
Isomorphism relations on classes of c.e. algebras
by: Ho, Meng-Che "Turbo", et al.
Published: (2026)
by: Ho, Meng-Che "Turbo", et al.
Published: (2026)
Modal group theory
by: Wołoszyn, Wojciech Aleksander
Published: (2026)
by: Wołoszyn, Wojciech Aleksander
Published: (2026)
On $\boldsymbolΣ^1_3$- and $Σ^1_4$-uniformization
by: Hoffelner, Stefan
Published: (2026)
by: Hoffelner, Stefan
Published: (2026)
Generic Absoluteness Revisited
by: Fuchino, Sakaé, et al.
Published: (2024)
by: Fuchino, Sakaé, et al.
Published: (2024)
Reflection and Recurrence
by: Fuchino, Sakaé
Published: (2024)
by: Fuchino, Sakaé
Published: (2024)
Forcing Axioms and the Definabilty of the Nonstationary Ideal on $ω_1$
by: Hoffelner, Stefan, et al.
Published: (2022)
by: Hoffelner, Stefan, et al.
Published: (2022)
Extendible cardinals, and Laver-generic large cardinal axioms for extendibility
by: Fuchino, Sakaé
Published: (2025)
by: Fuchino, Sakaé
Published: (2025)
On Recurrence Axioms
by: Fuchino, Sakaé, et al.
Published: (2024)
by: Fuchino, Sakaé, et al.
Published: (2024)
Online and feasible presentability: from trees to modal algebras
by: Bazhenov, Nikolay, et al.
Published: (2025)
by: Bazhenov, Nikolay, et al.
Published: (2025)
A non-computable c.e. closed subset of $[0,1]$
by: Badaev, Serikzhan, et al.
Published: (2025)
by: Badaev, Serikzhan, et al.
Published: (2025)
Computability for tree presentations of continuum-size structures
by: Block, Jason, et al.
Published: (2025)
by: Block, Jason, et al.
Published: (2025)
Labeled Sequent Calculus and Countermodel Construction for Justification Logics
by: Ghari, Meghdad
Published: (2014)
by: Ghari, Meghdad
Published: (2014)
On a Conjecture Regarding the Mouse Order for Weasels
by: Kruschewski, Jan, et al.
Published: (2022)
by: Kruschewski, Jan, et al.
Published: (2022)
Similar Items
-
Scott sentence complexities of linear orderings
by: Gonzalez, David, et al.
Published: (2023) -
Terminal Absoluteness of Collapse Forcings
by: Straffelini, Cesare
Published: (2025) -
Algorithmically finite, universal, and $*$-universal groups
by: Andrews, Uri, et al.
Published: (2024) -
Feferman's completeness theorem
by: Pakhomov, Fedor, et al.
Published: (2024) -
Externally definable fsg groups in NIP theories
by: Chernikov, Artem
Published: (2025)