Buchumschlag

The automorphism group of countable recursively saturated models of Peano arithmetic and strong cuts

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Bahrami, Saeideh
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability
von: Bahrami, Saeideh
Veröffentlicht: (2022)

Peano Arithmetic, games and descent recursion
von: Frittaion, Emanuele
Veröffentlicht: (2024)

Searching problems above arithmetical transfinite recursion
von: Suzuki, Yudai, et al.
Veröffentlicht: (2023)

Extremely amenable automorphism groups of countable structures
von: Etedadialiabadi, Mahmood, et al.
Veröffentlicht: (2024)

On the representation of C-recursive integer sequences by arithmetic terms
von: Prunescu, Mihai, et al.
Veröffentlicht: (2024)

Every countable model of arithmetic or set theory has a pointwise-definable end extension
von: Hamkins, Joel David
Veröffentlicht: (2022)

Peano Arithmetic and $μ$MALL
von: Manighetti, Matteo, et al.
Veröffentlicht: (2023)

Reverse mathematics of regular countable second countable spaces
von: Genovesi, Giorgio G.
Veröffentlicht: (2024)

Galois theory, automorphism groups of prime models, and the Picard-Vessiot closure
von: Meretzky, David, et al.
Veröffentlicht: (2026)

On groups well represented as automorphism groups of groups
von: Asgharzadeh, Mohsen, et al.
Veröffentlicht: (2024)

Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic
von: Bobrow, Elliot, et al.
Veröffentlicht: (2025)

On chromatic number of countable graphs
von: Kikyo, Hirotaka, et al.
Veröffentlicht: (2026)

Oligomorphic groups, their automorphism groups, and the complexity of their isomorphism
von: Paolini, Gianluca, et al.
Veröffentlicht: (2024)

Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic
von: Ito, Sohei, et al.
Veröffentlicht: (2025)

Mixed identities for oligomorphic automorphism groups
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2024)

The Pentagon as a Substructure Lattice of Models of Peano Arithmetic
von: Schmerl, James H.
Veröffentlicht: (2019)

Group topologies on automorphism groups of homogeneous structures
von: Ghadernezhad, Zaniar, et al.
Veröffentlicht: (2019)

Pathwise-random trees and models of second-order arithmetic
von: Barmpalias, George, et al.
Veröffentlicht: (2021)

Definable expansions on countable groups and countable Borel equivalence relations
von: Wolman, Michael
Veröffentlicht: (2025)

Primitive recursive categoricity spectra
von: Bazhenov, Nikolay, et al.
Veröffentlicht: (2026)

On matrix rank function over bounded arithmetics
von: Ken, Eitetsu, et al.
Veröffentlicht: (2023)

Fixed points on null and tame flows for groups of automorphisms
von: Codenotti, Alessandro
Veröffentlicht: (2025)

Axiomatization of Büchi arithmetic
von: Kovalyov, Konstantin
Veröffentlicht: (2024)

Regular expressions over countable words
von: Colcombet, Thomas, et al.
Veröffentlicht: (2025)

Uniform first order interpretation of the second order theory of countable groups of homeomorphisms
von: Koberda, Thomas, et al.
Veröffentlicht: (2023)

Primitive recursive categoricity spectra of functional structures
von: Bazhenov, Nikolay, et al.
Veröffentlicht: (2026)

Universal countably chromatic graph
von: Kivimäki, Siiri
Veröffentlicht: (2025)

DRAFT: A Formally Verified Constructive Proof of the Consistency of Peano Arithmetic Using Ordinal Assignments
von: Bryce, Aaron, et al.
Veröffentlicht: (2026)

Definable sets in Skolem arithmetic
von: Kamiński, Łukasz
Veröffentlicht: (2025)

Graphings of arithmetical equivalence relations
von: Arant, Tyler
Veröffentlicht: (2025)

There are only countably many locally tabular bi-intermediate logics of co-trees
von: Martins, Miguel
Veröffentlicht: (2026)

Quasi-invariant measures concentrating on countable structures
von: Conley, Clinton, et al.
Veröffentlicht: (2024)

Decisiveness for countable MDPs and insights for NPLCSs and POMDPs
von: Bertrand, Nathalie, et al.
Veröffentlicht: (2020)

Tightness and solidity in fragments of Peano Arithmetic
von: Gruza, Piotr, et al.
Veröffentlicht: (2025)

Iterating reflection over intuitionistic arithmetic
von: Frittaion, Emanuele
Veröffentlicht: (2024)

Relative to any non-arithmetic set
von: Harrison-Trainor, Matthew
Veröffentlicht: (2025)

The epimorphism relation among countable groups is a complete analytic quasi-order
von: Gao, Su, et al.
Veröffentlicht: (2025)

On countability and representations
von: Sanders, Sam
Veröffentlicht: (2026)

On SCC-recursiveness in Quantitative Argumentation
von: Wang, Zongshun, et al.
Veröffentlicht: (2020)

The modal logic of arithmetic potentialism and the universal algorithm
von: Hamkins, Joel David
Veröffentlicht: (2018)