Optimal Syntactic Definitions of Back-and-Forth Types
Fuente:
arXiv
Saved in:
| Main Authors: | Chen, Ruiyuan, Gonzalez, David, Harrison-Trainor, Matthew |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| 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)
by: Goldbring, Isaac, et al.
Published: (2024)
Scott Spectral Gaps are Bounded for Linear Orderings
by: Gonzalez, David, et al.
Published: (2024)
by: Gonzalez, David, et al.
Published: (2024)
Relative to any non-arithmetic set
by: Harrison-Trainor, Matthew
Published: (2025)
by: Harrison-Trainor, Matthew
Published: (2025)
Characterizing relative decidability in terms of model completeness
by: Harrison-Trainor, Matthew, et al.
Published: (2026)
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)
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)
by: Harrison-Trainor, Matthew, et al.
Published: (2024)
Scott analysis, linear orders and almost periodic functions
by: Gonzalez, David, et al.
Published: (2024)
by: Gonzalez, David, et al.
Published: (2024)
Scott spectral gaps for trees are bounded
by: Harrison-Trainor, Matthew, et al.
Published: (2026)
by: Harrison-Trainor, Matthew, et al.
Published: (2026)
Computable learning of natural hypothesis classes
by: Harrison-Trainor, Matthew, et al.
Published: (2024)
by: Harrison-Trainor, Matthew, et al.
Published: (2024)
On the computability of optimal Scott sentences
by: Alvir, Rachael, et al.
Published: (2025)
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)
by: Harrison-Trainor, Matthew, et al.
Published: (2022)
Iterated Priority Arguments in Descriptive Set Theory
by: Day, Adam, et al.
Published: (2022)
by: Day, Adam, et al.
Published: (2022)
Infinitary Logic Has No Expressive Efficiency Over Finitary Logic
by: Harrison-Trainor, Matthew, et al.
Published: (2022)
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)
by: Lyon, Tim S.
Published: (2024)
Two results on complexities of decision problems of groups
by: Andrews, Uri, et al.
Published: (2024)
by: Andrews, Uri, et al.
Published: (2024)
Normalisation for Negative Free Logics without and with Definite Descriptions
by: Kürbis, Nils
Published: (2024)
by: Kürbis, Nils
Published: (2024)
Syntactic Effectful Realizability in Higher-Order Logic
by: Cohen, Liron, et al.
Published: (2025)
by: Cohen, Liron, et al.
Published: (2025)
Structurable equivalence relations and $\mathcal{L}_{ω_1ω}$ interpretations
by: Banerjee, Rishi, et al.
Published: (2024)
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)
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)
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)
by: van Noort, Mathijs, et al.
Published: (2025)
Componentwise Polish groupoids and equivalence relations
by: Chen, Ruiyuan
Published: (2025)
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)
by: Artale, Alessandro, et al.
Published: (2025)
Definiteness properties of first-order schemes
by: Gruza, Piotr, et al.
Published: (2025)
by: Gruza, Piotr, et al.
Published: (2025)
Hilbert spaces admit no finitary discrete imaginaries
by: Chen, Ruiyuan, et al.
Published: (2025)
by: Chen, Ruiyuan, et al.
Published: (2025)
Normal Nested Answer Set Programs: Syntactics, Semantics and Logical Calculi
by: Imaz, Gonzalo E.
Published: (2024)
by: Imaz, Gonzalo E.
Published: (2024)
Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents
by: Maniwa, Akinori, et al.
Published: (2024)
by: Maniwa, Akinori, et al.
Published: (2024)
A universal characterization of standard Borel spaces
by: Chen, Ruiyuan
Published: (2019)
by: Chen, Ruiyuan
Published: (2019)
Definite Descriptions and Hybrid Tense Logic
by: Indrzejczak, Andrzej, et al.
Published: (2024)
by: Indrzejczak, Andrzej, et al.
Published: (2024)
Dichotomy results for classes of countable graphs
by: Cipriani, Vittorio, et al.
Published: (2025)
by: Cipriani, Vittorio, et al.
Published: (2025)
On Small Types in Univalent Foundations
by: de Jong, Tom, et al.
Published: (2021)
by: de Jong, Tom, et al.
Published: (2021)
A Gelfand duality for continuous lattices
by: Chen, Ruiyuan
Published: (2023)
by: Chen, Ruiyuan
Published: (2023)
Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions
by: Chen, Ruiyuan
Published: (2022)
by: Chen, Ruiyuan
Published: (2022)
Hybrid Modal Operators for Definite Descriptions
by: Wałęga, Przemysław Andrzej, et al.
Published: (2024)
by: Wałęga, Przemysław Andrzej, et al.
Published: (2024)
Primitive Recursive Dependent Type Theory
by: Buchholtz, Ulrik, et al.
Published: (2024)
by: Buchholtz, Ulrik, et al.
Published: (2024)
Basis-Sensitive Quantum Typing via Realisability
by: Díaz-Caro, Alejandro, et al.
Published: (2025)
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)
by: Hermes, Marc, et al.
Published: (2023)
A Naive Encoding of Russell's Paradox in Type Theory
by: Qu, Zhuoyuan
Published: (2025)
by: Qu, Zhuoyuan
Published: (2025)
Non-Derivability Results in Polymorphic Dependent Type Theory
by: Geuvers, Herman
Published: (2026)
by: Geuvers, Herman
Published: (2026)
Clones of Borel Boolean Functions
by: Chen, Ruiyuan, et al.
Published: (2024)
by: Chen, Ruiyuan, et al.
Published: (2024)
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)