Variations on a Visserian theme
From MaRDI portal
Abstract: A first order theory T is said to be "tight" if for any two deductively closed extensions U and V of T (both of which are formulated in the language of T), U and V are bi-interpretable iff U = V. By a theorem of Visser, PA (Peano Arithmetic) is tight. Here we show that Z_2 (second order arithmetic), ZF (Zermelo-Fraenkel set theory), and KM (Kelley-Morse theory of classes) are also tight theories.
Recommendations
Cited in
(14)- Modernity of Halphen's variations on a theme of Monge
- Variations on the theme of Scarf's counter-example
- Set theory. Abstracts from the workshop held January 9--15, 2022
- Continuing Variations on a System of Gentzen
- scientific article; zbMATH DE number 1421050 (Why is no real title available?)
- Set theory with a proper class of indiscernibles
- BI-INTERPRETATION IN WEAK SET THEORIES
- WHAT IS A RESTRICTIVE THEORY?
- Indiscernibles and satisfaction classes in arithmetic
- Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal
- Risk and theoretical equivalence in mathematical foundations
- Of sheep and wolves: equivalence and disagreement in set theory
- Non-tightness in class theory and second-order arithmetic
- On logical and scientific strength
This page was built for publication: Variations on a Visserian theme
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5224688)
