Cover Image

Every countable model of arithmetic or set theory has a pointwise-definable end extension

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Hamkins, Joel David
Format:	Preprint
Published:	2022
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Class choice and the surprising weakness of Kelley-Morse set theory
by: Gitman, Victoria, et al.
Published: (2026)

How the continuum hypothesis could have been a fundamental axiom
by: Hamkins, Joel David
Published: (2024)

Partially-elementary end extensions of countable models of set theory
by: McKenzie, Zachiri
Published: (2024)

A potentialist conception of ultrafinitism
by: Hamkins, Joel David
Published: (2025)

Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal
by: Hamkins, Joel David, et al.
Published: (2022)

Did Turing prove the undecidability of the halting problem?
by: Hamkins, Joel David, et al.
Published: (2024)

Satisfaction is not absolute
by: Hamkins, Joel David, et al.
Published: (2013)

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

Definable sets in Skolem arithmetic
by: Kamiński, Łukasz
Published: (2025)

On definable J-sets
by: Zhang, Zhentao
Published: (2025)

Relative to any non-arithmetic set
by: Harrison-Trainor, Matthew
Published: (2025)

Diamond principles and Tukey-top ultrafilters on a countable set
by: Benhamou, Tom, et al.
Published: (2024)

Reverse mathematics of regular countable second countable spaces
by: Genovesi, Giorgio G.
Published: (2024)

A non-sequential arithmetical theory with pairing
by: Murwanashyaka, Juvenal
Published: (2025)

One-dimensional F-definable sets in F((t))
by: Anscombe, Sylvy
Published: (2015)

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

Modal definability in Kripke's theory of truth
by: Walsh, James
Published: (2024)

Gradualist descriptionalist set theory
by: Simmons, David
Published: (2026)

On chromatic number of countable graphs
by: Kikyo, Hirotaka, et al.
Published: (2026)

The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle
by: Sun, Mengzhou
Published: (2024)

Implicative models of set theory
by: Maschio, Samuele, et al.
Published: (2023)

Every Polish group has a non-trivial topological group automorphism
by: Estrada, Carlos Pérez, et al.
Published: (2024)

$G$-invariant definable Tietze extension theorem
by: Fujita, Masato, et al.
Published: (2024)

On large externally definable sets in NIP
by: Bays, Martin, et al.
Published: (2022)

The number of countable models of first-order theories
by: Pillay, Anand, et al.
Published: (2025)

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

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

Trace definability II: model-theoretic linearity
by: Walsberg, Erik
Published: (2026)

Analogues of the countable Borel equivalence relations in the setting of computable reducibility
by: Andrews, Uri, et al.
Published: (2024)

Characterizing fragments of collection principle in set theory with model theoretic properties
by: Chen, Junhong
Published: (2025)

The short exact sequence in definable Galois cohomology
by: Meretzky, David
Published: (2024)

Tarskian truth theories over set theory
by: Enayat, Ali
Published: (2026)

A note on uniform definability of types over finite sets in partial orders of finite width
by: Krisam, Timo, et al.
Published: (2024)

Axiomatization of Büchi arithmetic
by: Kovalyov, Konstantin
Published: (2024)

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

A note on the definability of genus for Zariski geometries
by: García, Darío, et al.
Published: (2021)

Regular expressions over countable words
by: Colcombet, Thomas, et al.
Published: (2025)

Modal definability in Euclidean modal logics
by: Balbiani, Philippe, et al.
Published: (2025)

Trace definability III: Infinite dimensional space over a model of $T$
by: Walsberg, Erik
Published: (2026)