Buchumschlag

Scott analysis, linear orders and almost periodic functions

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Gonzalez, David, Harrison-Trainor, Matthew, Ho, Meng-Che "Turbo"
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Scott Spectral Gaps are Bounded for Linear Orderings
von: Gonzalez, David, et al.
Veröffentlicht: (2024)

Two results on complexities of decision problems of groups
von: Andrews, Uri, et al.
Veröffentlicht: (2024)

Scott spectral gaps for trees are bounded
von: Harrison-Trainor, Matthew, et al.
Veröffentlicht: (2026)

On the computability of optimal Scott sentences
von: Alvir, Rachael, et al.
Veröffentlicht: (2025)

Torsion-free abelian groups of finite rank and fields of finite transcendence degree
von: Ho, Meng-Che "Turbo", et al.
Veröffentlicht: (2024)

Relative to any non-arithmetic set
von: Harrison-Trainor, Matthew
Veröffentlicht: (2025)

Optimal Syntactic Definitions of Back-and-Forth Types
von: Chen, Ruiyuan, et al.
Veröffentlicht: (2025)

Algorithmically finite, universal, and $*$-universal groups
von: Andrews, Uri, et al.
Veröffentlicht: (2024)

A Relation on ${(ω, <)}$ of Intermediate Degree Spectrum on a Cone
von: Damaj, Jad, et al.
Veröffentlicht: (2024)

Measuring the complexity of characterizing $[0, 1]$, $S^1$, and $\mathbb{R}$ up to homeomorphism
von: Harrison-Trainor, Matthew, et al.
Veröffentlicht: (2024)

Characterizing relative decidability in terms of model completeness
von: Harrison-Trainor, Matthew, et al.
Veröffentlicht: (2026)

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

Isomorphism relations on classes of c.e. algebras
von: Ho, Meng-Che "Turbo", et al.
Veröffentlicht: (2026)

Computable learning of natural hypothesis classes
von: Harrison-Trainor, Matthew, et al.
Veröffentlicht: (2024)

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

The Logic of Cardinality Comparison Without the Axiom of Choice
von: Harrison-Trainor, Matthew, et al.
Veröffentlicht: (2022)

Scott sentence complexities of linear orderings
von: Gonzalez, David, et al.
Veröffentlicht: (2023)

Iterated Priority Arguments in Descriptive Set Theory
von: Day, Adam, et al.
Veröffentlicht: (2022)

Infinitary Logic Has No Expressive Efficiency Over Finitary Logic
von: Harrison-Trainor, Matthew, et al.
Veröffentlicht: (2022)

Free Left Distributive Algebras and a Canonical Extension
von: Cramer, Scott, et al.
Veröffentlicht: (2026)

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

A linear proof language for second-order intuitionistic linear logic
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2023)

Scott-Karp analysis without sentences
von: Brunner, Andreas, et al.
Veröffentlicht: (2026)

Uncountable sets and an infinite linear order game
von: Matos-Wiederhold, Tonatiuh, et al.
Veröffentlicht: (2024)

On the number of cofinalities of cuts in ultraproducts of linear orders
von: Golshani, Mohammad
Veröffentlicht: (2025)

Definability and Scott rank in separable Metric structures
von: Bejarano, Diego
Veröffentlicht: (2024)

Making first order linear logic a generating grammar
von: Slavnov, Sergey
Veröffentlicht: (2022)

On the regularity of almost stable relations
von: Girón, Marcos
Veröffentlicht: (2025)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
von: de Jong, Tom
Veröffentlicht: (2024)

Elementary extensions of almost o-minimal structures
von: Berraho, Mourad, et al.
Veröffentlicht: (2026)

Groups with infinite linearly ordered products
von: Bagayoko, Vincent
Veröffentlicht: (2024)

Higher arity stability and the functional order property
von: Abd-Aldaim, A., et al.
Veröffentlicht: (2023)

Proof-theoretic Semantics for Second-order Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

An order analysis of hyperfinite Borel equivalence relations
von: Gao, Su, et al.
Veröffentlicht: (2024)

Dichotomy results for classes of countable graphs
von: Cipriani, Vittorio, et al.
Veröffentlicht: (2025)

Exponentiable linear orders need not be transitive
von: Mittal, Mihir, et al.
Veröffentlicht: (2024)

Cofinitary groups and projective well-orders
von: Fischer, Vera, et al.
Veröffentlicht: (2023)

Primitive recursive categoricity spectra of functional structures
von: Bazhenov, Nikolay, et al.
Veröffentlicht: (2026)

First-order theory of torsion-free Tarski monsters
von: Coulon, Rémi, et al.
Veröffentlicht: (2025)

Proof-theoretic Semantics for First-order Logic
von: Gheorghiu, Alexander V.
Veröffentlicht: (2024)