:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Ho, Meng-Che "Turbo", Knight, Julia, Miller, Russell
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2403.02488
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Algorithmically finite, universal, and $*$-universal groups
by: Andrews, Uri, et al.
Published: (2024)

Scott analysis, linear orders and almost periodic functions
by: Gonzalez, David, et al.
Published: (2024)

Two results on complexities of decision problems of groups
by: Andrews, Uri, et al.
Published: (2024)

Algorithmic aspects of left-orderings of solvable Baumslag--Solitar groups via its dynamical realization
by: Ho, Meng-Che "Turbo", et al.
Published: (2024)

Isomorphism relations on classes of c.e. algebras
by: Ho, Meng-Che "Turbo", et al.
Published: (2026)

Primitive pseudo-finite permutation groups of finite SU-rank
by: Karhumäki, Ulla, et al.
Published: (2025)

Free Left Distributive Algebras and a Canonical Extension
by: Cramer, Scott, et al.
Published: (2026)

Sharply 2-transitive groups of finite Morley rank
by: Altinel, Tuna, et al.
Published: (2018)

Exact big Ramsey degrees for finitely constrained binary free amalgamation classes
by: Balko, Martin, et al.
Published: (2021)

The transcendence degree of the reals over certain set-theoretical subfields
by: Fatalini, Azul, et al.
Published: (2024)

Torsion-free abelian groups are faithfully Borel complete and pure embeddability is a complete analytic quasi-order
by: Paolini, Gianluca, et al.
Published: (2023)

Toeplitz subshifts of finite rank
by: Gao, Su, et al.
Published: (2025)

Relative model completeness of henselian valued fields with finite ramification and various value groups
by: De Mase, Anna
Published: (2023)

Primitive permutation groups of finite Morley rank and affine type
by: Berkman, Ayşe, et al.
Published: (2024)

The reals as a subset of an ultraproduct of finite fields
by: Sinai, Roee
Published: (2026)

Solvability of the radical in pseudo-finite groups with the DCC on centralizers up to finite index
by: Hempel, Nadja, et al.
Published: (2026)

The subTuring degrees
by: Kihara, Takayuki, et al.
Published: (2024)

Omega-categorical groups and rings of finite dimension
by: Invitti, Moreno
Published: (2025)

Model-theoretic Tameness in finite extensions of groups
by: Halevi, Yatir, et al.
Published: (2026)

A computably enumerable many-one degree with no least finite-one degree
by: Cintioli, Patrizio
Published: (2026)

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

Towards solid abelian groups: A formal proof of Nöbeling's theorem
by: Asgeirsson, Dagur
Published: (2023)

\texorpdfstring{$D$}{D}-maximal many-one degrees contain least finite-one degrees
by: Cintioli, Patrizio
Published: (2026)

Imaginaries in perfect bounded pseudo algebraically closed fields with finitely many independent valuations
by: Leandro, Bryan González
Published: (2026)

Duality for finitely valued algebras
by: Abbadini, Marco, et al.
Published: (2025)

Permutations, substitutions and finite axiomatizability
by: Andréka, Hajnal, et al.
Published: (2025)

Minimal sofic shift on a group that is not finitely-generated
by: Salo, Ville
Published: (2025)

The first fatal axiom for weakened sequential products on finite MV-effect algebras: Local obstruction, exact low-rank classification, and the rank-one boundary case
by: Higuchi, Joaquim Reizi
Published: (2026)

Groups elementary equivalent to finitely generated free metabelian
by: Kharlampovich, Olga, et al.
Published: (2023)

A note on uniform definability of types over finite sets in partial orders of finite width
by: Krisam, Timo, et al.
Published: (2024)

Function spaces for orbit-finite sets
by: Bojańczyk, Mikołaj, et al.
Published: (2024)

Soluble Lie rings of finite Morley rank
by: Deloro, Adrien, et al.
Published: (2024)

On p-Lie algebras of finite Morley rank
by: Zamour, Samuel
Published: (2026)

The Grothendieck ring of a non-divisible ordered abelian group is trivial
by: Boissonneau, Blaise, et al.
Published: (2026)

Elimination results for tame fields with finite residue fields
by: Anscombe, Sylvy, et al.
Published: (2026)

A robust family of residually finite groups; spectra of residual finiteness growth, computability properties, and other applications (with an appendix by Arman Darbinyan and Emmanuel Rauzy)
by: Darbinyan, Arman, et al.
Published: (2025)

A note on valued fields with finite group actions
by: Błaszkiewicz, Piotr, et al.
Published: (2025)

Lie rings in finite-dimensional theories
by: Invitti, Moreno
Published: (2025)

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

Minimal covers in the Weihrauch degrees
by: Lempp, Steffen, et al.
Published: (2023)