Copertina

Graphings of arithmetical equivalence relations

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Arant, Tyler
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Borel graphable equivalence relations
di: Arant, Tyler, et al.
Pubblicazione: (2024)

Approximate equivalence relations
di: Hrushovski, Ehud
Pubblicazione: (2024)

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

On matrix rank function over bounded arithmetics
di: Ken, Eitetsu, et al.
Pubblicazione: (2023)

Axiomatization of Büchi arithmetic
di: Kovalyov, Konstantin
Pubblicazione: (2024)

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

Definable sets in Skolem arithmetic
di: Kamiński, Łukasz
Pubblicazione: (2025)

Relative to any non-arithmetic set
di: Harrison-Trainor, Matthew
Pubblicazione: (2025)

Iterating reflection over intuitionistic arithmetic
di: Frittaion, Emanuele
Pubblicazione: (2024)

A non-sequential arithmetical theory with pairing
di: Murwanashyaka, Juvenal
Pubblicazione: (2025)

The modal logic of arithmetic potentialism and the universal algorithm
di: Hamkins, Joel David
Pubblicazione: (2018)

Searching problems above arithmetical transfinite recursion
di: Suzuki, Yudai, et al.
Pubblicazione: (2023)

An efficient quantifier elimination procedure for Presburger arithmetic
di: Haase, Christoph, et al.
Pubblicazione: (2024)

Analysis of logics with arithmetic
di: Benedikt, Michael, et al.
Pubblicazione: (2025)

Completeness theorems for modal logic in second-order arithmetic
di: Shimomichi, Sho, et al.
Pubblicazione: (2025)

Pathwise-random trees and models of second-order arithmetic
di: Barmpalias, George, et al.
Pubblicazione: (2021)

On the representation of C-recursive integer sequences by arithmetic terms
di: Prunescu, Mihai, et al.
Pubblicazione: (2024)

Quasi-Polish spaces and spaces of filters in second-order arithmetic
di: Kaneko, Yuzuki, et al.
Pubblicazione: (2026)

Higher-order generalizations of stability and arithmetic regularity
di: Terry, C., et al.
Pubblicazione: (2021)

Teasing apart definitional equivalence
di: Chen, Jason, et al.
Pubblicazione: (2025)

Some remarks on lattices of equivalences
di: Herrmann, Christian
Pubblicazione: (2025)

Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability
di: Bahrami, Saeideh
Pubblicazione: (2022)

Models of true arithmetic are integer parts of nice real closed fields
di: Carl, Merlin
Pubblicazione: (2013)

Higher arithmetic on the ordinals
di: Ducourtial, Adrian
Pubblicazione: (2025)

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

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

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

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

The complexity of Presburger arithmetic with power or powers
di: Benedikt, Michael, et al.
Pubblicazione: (2023)

The automorphism group of countable recursively saturated models of Peano arithmetic and strong cuts
di: Bahrami, Saeideh
Pubblicazione: (2026)

Low-like basis theorems for Ramsey's theorem for pairs in first-order arithmetic
di: Ikari, Hiroyuki, et al.
Pubblicazione: (2026)

Stabilizers and NIP arithmetic regularity
di: Conant, G., et al.
Pubblicazione: (2025)

An arithmetic algebraic regularity lemma
di: Pillay, Anand, et al.
Pubblicazione: (2024)

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

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

Decidability of extensions of Presburger arithmetic by generalised polynomials
di: Konieczny, Jakub
Pubblicazione: (2024)

Supersimplicity and arithmetic progressions
di: Martin-Pizarro, Amador, et al.
Pubblicazione: (2025)

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

Every countable model of arithmetic or set theory has a pointwise-definable end extension
di: Hamkins, Joel David
Pubblicazione: (2022)

An analytic version of stable arithmetic regularity
di: Conant, Gabriel, et al.
Pubblicazione: (2024)