When bi-interpretability implies synonymy

DOI10.1017/S1755020325100920MaRDI QIDQ6873543zbMATH OpenFDO

Authors Harvey M. Friedman, Albert Visser

Publication date 16 January 2026

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

interpretabilityinterpretationsSchröder-Bernstein theorem

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) Relative consistency and interpretations (03F25)

Cites work

• -models of finite set theory
• A lattice of chapters of mathematics (interpretations between theorems [theories])
• A minimal predicative set theory
• An inside view of EXP; or, The closed fragment of the provability logic of IΔ₀ + Ω₁ with a prepositional constant for EXP
• CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN
• Concatenation as a basis for arithmetic
• Cuts, consistency statements and interpretations
• Definability and decision problems in arithmetic
• Faith \& falsity
• Harvey Friedman's research on the foundations of mathematics
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 3627183 (Why is no real title available?)
• scientific article; zbMATH DE number 1215477 (Why is no real title available?)
• scientific article; zbMATH DE number 218514 (Why is no real title available?)
• scientific article; zbMATH DE number 3999883 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• scientific article; zbMATH DE number 5066367 (Why is no real title available?)
• scientific article; zbMATH DE number 3349803 (Why is no real title available?)
• On interpretations of arithmetic and set theory
• On the interpretability of arithmetic in set theory
• Pairs, sets and sequences in first-order theories
• Quasi finitely axiomatizable totally categorical theories
• Sequence encoding without induction
• Set theory with and without urelements and categories of interpretations
• Some Prime Elements in the Lattice of Interpretability Types
• String theory
• The interpretability logic of all reasonable arithmetical theories. The new conjecture
• The unprovability of small inconsistency. A study of local and global interpretability
• What is sequentiality?

This page was built for publication: When bi-interpretability implies synonymy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6873543)