ON MORITA EQUIVALENCE AND INTERPRETABILITY

DOI10.1017/S1755020319000303zbMath1444.03004OpenAlexW2906475390WikidataQ127369521 ScholiaQ127369521MaRDI QIDQ5107539

Paul Anh McEldowney

Publication date: 27 April 2020

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020319000303

zbMATH Keywords

Morita equivalencemany-sorted logicbi-interpretabilitytheoretical equivalence

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Relative consistency and interpretations (03F25) Logic in the philosophy of science (03A10)

Related Items (1)

Type space functors and interpretations in positive logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• From geometry to conceptual relativity
• Quine's conjecture on many-sorted logic
• On the logic of reducibility: Axioms and examples
• On interpretations of arithmetic and set theory
• LOGICISM, INTERPRETABILITY, AND KNOWLEDGE OF ARITHMETIC
• Philosophy and Model Theory
• Model Theory
• MORITA EQUIVALENCE

This page was built for publication: ON MORITA EQUIVALENCE AND INTERPRETABILITY