Mathematics > Logic
arXiv:2504.05566 (math)
[Submitted on 7 Apr 2025 (v1), last revised 16 Jun 2026 (this version, v3)]
Abstract:We introduce a notion of weak definability of first order structures, show that various classification-theoretic properties are or are not preserved under it, and that the properties which are preserved can also be characterized in terms of it.
Submission history
From: Erik Walsberg [view email]
[v1]
Mon, 7 Apr 2025 23:47:12 UTC (671 KB)
[v2]
Tue, 12 May 2026 16:00:29 UTC (124 KB)
[v3]
Tue, 16 Jun 2026 12:38:35 UTC (128 KB)
Bibliographic Tools
Bibliographic and Citation Tools
Bibliographic Explorer Toggle
Code, Data, Media
Code, Data and Media Associated with this Article
Demos
Demos
Related Papers
Recommenders and Search Tools
About arXivLabs
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.




















