Imagen de Portada

Teasing apart definitional equivalence

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Chen, Jason, Meadows, Toby
Formato:	Preprint
Publicado:	2025
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Internal Categoricity and the Generic Multiverse
por: Meadows, Toby
Publicado: (2025)

Found in Translation: at the limits of the Hudetz program
por: Meadows, Toby
Publicado: (2025)

Foundations with Imagination
por: Meadows, Toby
Publicado: (2026)

Equational definitions of logical filters
por: Baldi, Michele Pra, et al.
Publicado: (2024)

A topological reading of inductive and coinductive definitions in Dependent Type Theory
por: Sabelli, Pietro
Publicado: (2024)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
por: Oda, Yukihiro, et al.
Publicado: (2021)

Approximate equivalence relations
por: Hrushovski, Ehud
Publicado: (2024)

Some remarks on lattices of equivalences
por: Herrmann, Christian
Publicado: (2025)

Graphings of arithmetical equivalence relations
por: Arant, Tyler
Publicado: (2025)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
por: Herbelin, Hugo
Publicado: (2024)

A new categorial equivalence for Stone Algebras
por: Calomino, Ismael, et al.
Publicado: (2025)

An order analysis of hyperfinite Borel equivalence relations
por: Gao, Su, et al.
Publicado: (2024)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
por: Spadetto, Matteo
Publicado: (2023)

Cyclic proof theory of positive inductive definitions
por: Curzi, Gianluca, et al.
Publicado: (2025)

Theories of Frege structure equivalent to Feferman's system $\mathsf{T}_0$
por: Hayashi, Daichi
Publicado: (2024)

A Borel graphable equivalence relation with no Borel graphing of diameter two
por: Lutz, Patrick
Publicado: (2026)

Formalizing equivalences without tears
por: de Jong, Tom
Publicado: (2024)

Borel graphable equivalence relations
por: Arant, Tyler, et al.
Publicado: (2024)

A simple formalization of alpha-equivalence
por: Apinis, Kalmer, et al.
Publicado: (2025)

Elementarity of Subgroups and Complexity of Theories for Profinite Groups
por: Block, Jason
Publicado: (2024)

Measuring the Complexity of Countable Presburger Models
por: Block, Jason
Publicado: (2026)

Testing definitional equivalence of theories via automorphism groups
por: Andréka, H., et al.
Publicado: (2022)

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

A type-theoretic definition of lax $(\infty,\infty)$-limits
por: Mikhail, Thomas Jan
Publicado: (2024)

Bit-Vector CHC Solving for Binary Analysis and Binary Analysis for Bit-Vector CHC Solving
por: Bembenek, Aaron, et al.
Publicado: (2026)

A Logic of Sattestation
por: Jaggard, Aaron D., et al.
Publicado: (2024)

Groups elementarily equivalent to metabelian Baumslag$-$Solitar groups and regular bi-interpretability
por: Daniyarova, Evelina, et al.
Publicado: (2024)

The tilting equivalence as a bi-interpretation
por: Rideau-Kikuchi, Silvain, et al.
Publicado: (2025)

Spectral equivalences through nonstandard samplings
por: Nonez, Fabrice
Publicado: (2024)

A simple proof of the coincidence of observational and labeled equivalence of processes in applied pi-calculus
por: Mironov, Andrew M.
Publicado: (2025)

A counterexample regarding an equivalence relation on a product space
por: Shani, Assaf
Publicado: (2025)

On equivalence relations induced by locally compact abelian Polish groups
por: Ding, Longyun, et al.
Publicado: (2022)

Complete orbit equivalence relation and non-universal Polish groups
por: Ding, Longyun, et al.
Publicado: (2026)

Loop unrolling: formal definition and application to testing
por: Huang, Li, et al.
Publicado: (2025)

Seven kinds of equivalent models for generalized coalition logics
por: Chen, Zixuan, et al.
Publicado: (2025)

Elementary equivalence and diffeomorphism groups of smooth manifolds
por: Kim, Sang-hyun, et al.
Publicado: (2025)

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

New definitions in the theory of Type 1 computable topological spaces
por: Rauzy, Emmanuel
Publicado: (2023)

Definable Obstruction Theory
por: Meadows, Nicholas
Publicado: (2025)

A closed subset of Baire space not Medvedev equivalent to any closed set of Cantor space
por: Cole, Joshua
Publicado: (2024)