Cover Image

Optimal Syntactic Definitions of Back-and-Forth Types

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chen, Ruiyuan, Gonzalez, David, Harrison-Trainor, Matthew
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Scott Spectral Gaps are Bounded for Linear Orderings
by: Gonzalez, David, et al.
Published: (2024)

Relative to any non-arithmetic set
by: Harrison-Trainor, Matthew
Published: (2025)

Characterizing relative decidability in terms of model completeness
by: Harrison-Trainor, Matthew, et al.
Published: (2026)

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

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

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

Scott spectral gaps for trees are bounded
by: Harrison-Trainor, Matthew, et al.
Published: (2026)

Computable learning of natural hypothesis classes
by: Harrison-Trainor, Matthew, et al.
Published: (2024)

On the computability of optimal Scott sentences
by: Alvir, Rachael, et al.
Published: (2025)

The Logic of Cardinality Comparison Without the Axiom of Choice
by: Harrison-Trainor, Matthew, et al.
Published: (2022)

Iterated Priority Arguments in Descriptive Set Theory
by: Day, Adam, et al.
Published: (2022)

Infinitary Logic Has No Expressive Efficiency Over Finitary Logic
by: Harrison-Trainor, Matthew, et al.
Published: (2022)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
by: Lyon, Tim S.
Published: (2024)

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

Normalisation for Negative Free Logics without and with Definite Descriptions
by: Kürbis, Nils
Published: (2024)

Syntactic Effectful Realizability in Higher-Order Logic
by: Cohen, Liron, et al.
Published: (2025)

Structurable equivalence relations and $\mathcal{L}_{ω_1ω}$ interpretations
by: Banerjee, Rishi, et al.
Published: (2024)

A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus
by: Fang, Liangda, et al.
Published: (2024)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
by: Indrzejczak, Andrzej, et al.
Published: (2024)

On Syntactical Simplification of Temporal Operators in Negation-free MTL
by: van Noort, Mathijs, et al.
Published: (2025)

Componentwise Polish groupoids and equivalence relations
by: Chen, Ruiyuan
Published: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
by: Artale, Alessandro, et al.
Published: (2025)

Definiteness properties of first-order schemes
by: Gruza, Piotr, et al.
Published: (2025)

Hilbert spaces admit no finitary discrete imaginaries
by: Chen, Ruiyuan, et al.
Published: (2025)

Normal Nested Answer Set Programs: Syntactics, Semantics and Logical Calculi
by: Imaz, Gonzalo E.
Published: (2024)

Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents
by: Maniwa, Akinori, et al.
Published: (2024)

A universal characterization of standard Borel spaces
by: Chen, Ruiyuan
Published: (2019)

Definite Descriptions and Hybrid Tense Logic
by: Indrzejczak, Andrzej, et al.
Published: (2024)

Dichotomy results for classes of countable graphs
by: Cipriani, Vittorio, et al.
Published: (2025)

On Small Types in Univalent Foundations
by: de Jong, Tom, et al.
Published: (2021)

A Gelfand duality for continuous lattices
by: Chen, Ruiyuan
Published: (2023)

Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions
by: Chen, Ruiyuan
Published: (2022)

Hybrid Modal Operators for Definite Descriptions
by: Wałęga, Przemysław Andrzej, et al.
Published: (2024)

Primitive Recursive Dependent Type Theory
by: Buchholtz, Ulrik, et al.
Published: (2024)

Basis-Sensitive Quantum Typing via Realisability
by: Díaz-Caro, Alejandro, et al.
Published: (2025)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
by: Hermes, Marc, et al.
Published: (2023)

A Naive Encoding of Russell's Paradox in Type Theory
by: Qu, Zhuoyuan
Published: (2025)

Non-Derivability Results in Polymorphic Dependent Type Theory
by: Geuvers, Herman
Published: (2026)

Clones of Borel Boolean Functions
by: Chen, Ruiyuan, et al.
Published: (2024)