:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Chen, Jason, Meadows, Toby
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2508.03956
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Internal Categoricity and the Generic Multiverse
by: Meadows, Toby
Published: (2025)

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

Foundations with Imagination
by: Meadows, Toby
Published: (2026)

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

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

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

Approximate equivalence relations
by: Hrushovski, Ehud
Published: (2024)

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

Some remarks on lattices of equivalences
by: Herrmann, Christian
Published: (2025)

Graphings of arithmetical equivalence relations
by: Arant, Tyler
Published: (2025)

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

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

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

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

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

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

Formalizing equivalences without tears
by: de Jong, Tom
Published: (2024)

Borel graphable equivalence relations
by: Arant, Tyler, et al.
Published: (2024)

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

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

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

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

A Logic of Sattestation
by: Jaggard, Aaron D., et al.
Published: (2024)

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

Measuring the Complexity of Countable Presburger Models
by: Block, Jason
Published: (2026)

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

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

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

Spectral equivalences through nonstandard samplings
by: Nonez, Fabrice
Published: (2024)

Definable Obstruction Theory
by: Meadows, Nicholas
Published: (2025)

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

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

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

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

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

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

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

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

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

Structural results on idealistic equivalence relations
by: Calderoni, Filippo, et al.
Published: (2025)