arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 1506.04675

Morita Equivalence

Thomas William Barrett·Hans Halvorson
View original source ↗Read source document ↗Export metadata ↓

Abstract

Logicians and philosophers of science have proposed various formal criteria for theoretical equivalence. In this paper, we examine two such proposals: definitional equivalence and categorical equivalence. In order to show precisely how these two well-known criteria are related to one another, we investigate an intermediate criterion called Morita equivalence.

Explore related subjects

math.LOmath.CTphysics.hist-ph

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Thomas William Barrett, Hans Halvorson. 2015-06-15. Morita Equivalence. https://doi.org/10.1017/s1755020316000186

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Partition Principle without Choice via Symmetric Iterations and Sheaf-Toposes

An earlier form of this manuscript proposed that a transformation-groupoid topos associated with a free action of a nontrivial finite group on Cantor space contains an internal model of $\mathsf{IZF}+\mathsf{PP}+\neg\mathsf{AC}$, with a classical upgrade after double-negation sheafification. That construction is not valid. The proposed local embedding argument does not establish the required property for general epimorphisms; the finite-fiber class of small maps does not support an $\mathsf{IZF}$-universe because it does not contain the natural numbers object; the quotient map used to witness failure of choice is not a nonsplitting epimorphism in the asserted form; and double-negation sheafification does not repair these defects. The symmetric-iteration appendix also used an invalid same-condition equivariance inference. Accordingly, this replacement withdraws all model-existence, preservation, and independence claims. We retain the conditional categorical observation that a genuinely matching local family of embeddings descends to a global embedding, and record the precise obstructions so that the withdrawn construction is not cited as a solution of the Partition Principle problem.

math.LO↗
arXiv2026

From Internal to External: Classical Models of ZF + PP + $\neg$AC

An earlier form of this manuscript claimed to obtain a classical symmetric model of $\mathsf{ZF}+\mathsf{PP}+\neg\mathsf{AC}$ by two routes: a Boolean-valued externalization of an internal sheaf-topos construction, and a direct symmetric extension based on $\operatorname{Fn}(\mathbb{N}\times H,2)$. Those claims are withdrawn. The decisive contradiction is already present in the stated Local-to-Global Embedding Principle. For every hereditarily symmetric surjection $f\twoheadrightarrow B$, that theorem purports to construct a function $s\to A$ satisfying $f\circ s=\operatorname{id}_B$. Thus it asserts that every surjection has a right inverse, which is equivalent over $\mathsf{ZF}$ to the Axiom of Choice and is stronger than the injection required by the Partition Principle. It therefore cannot prove $\mathsf{PP}+\neg\mathsf{AC}$. The supporting localization and gluing arguments fail independently: a condition cannot be strengthened while deleting coordinates outside a fixed support; the fixed support is replaced in the proof by element-dependent supports; the proposed coherent antichains cannot exist below arbitrary Boolean values; minimality in an arbitrary ground-model well-order does not imply equivariance; right inverses need not agree on overlaps; and countably many finite supports need not combine into a finite support. The route-unification theorem and the proposed witness to $\neg\mathsf{AC}$ have further defects. This replacement retains only standard background facts about symmetric extensions and records the obstructions. It asserts no model of $\mathsf{ZF}+\mathsf{PP}+\neg\mathsf{AC}$ and no consistency or independence result.

math.LO↗
arXiv2026

Arithmetical Complexity and Absoluteness of Rigidity Phenomena for Ulam Sequences

We analyse the arithmetical complexity and forcing absoluteness of natural statements about Ulam sequences. For positive integers $a<b$, membership in $U(a,b)$ and the increasing enumeration of $U(a,b)$ are uniformly primitive recursive. We encode the finite interval-with-periodic-mask descriptions used in rigidity results and formalise the finite-window rigidity theorem for the family $U(1,n)$: for every prescribed linear window, one finite collection of residue-class-dependent pattern data works for all sufficiently large parameters $n$. This family statement has a $Π^0_3$ upper bound in the arithmetical hierarchy; for a fixed window its complexity is $Σ^0_2$. For an individual $U(a,b)$, eventual periodicity of the gap sequence (with positive period) and finiteness of specified residue classes are $Σ^0_2$, while rational upper-density, lower-density, and exact-density assertions have $Π^0_3$ upper bounds. These are classifications by upper bounds, not completeness claims. Since the resulting sentences are arithmetical, their truth is unchanged by set forcing. This semantic forcing invariance is distinguished from proof-theoretic conservativity over stronger set theories. Finally, if the gaps of $U(a,b)$ are eventually periodic with positive period, then $U(a,b)$ is Presburger-definable; hence $(\mathbb{N},+,\mathrm{U}_{a,b})$ is decidable, NIP, dp-minimal, and does not interpret full arithmetic.

math.LO↗