scientific article; zbMATH DE number 5066367

zbMath1107.03066MaRDI QIDQ5393646

Albert Visser

Publication date: 23 October 2006

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

inductionPeano arithmetic2-structurepreservation of propertiesrelative interpretationcategories of theories and interpretations

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) First-order arithmetic and fragments (03F30) Foundations of classical theories (including reverse mathematics) (03B30) Relative consistency and interpretations (03F25)

Related Items (21)

Constructive Ackermann's interpretation ⋮ Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries ⋮ Glymour and Quine on theoretical equivalence ⋮ Extension and interpretability ⋮ Set theory with a proper class of indiscernibles ⋮ Lewis meets Brouwer: constructive strict implication ⋮ ON MORITA EQUIVALENCE AND INTERPRETABILITY ⋮ WHAT IS A RESTRICTIVE THEORY? ⋮ A step towards absolute versions of metamathematical results ⋮ Inversive meadows and divisive meadows ⋮ DISTANCES BETWEEN FORMAL THEORIES ⋮ Pairs, sets and sequences in first-order theories ⋮ On the virtue of categoricity ⋮ BI-INTERPRETATION IN WEAK SET THEORIES ⋮ The predicative Frege hierarchy ⋮ Set theory with and without urelements and categories of interpretations ⋮ Model theory of proalgebraic groups ⋮ The Interpretation Existence Lemma ⋮ On generalization of definitional equivalence to non-disjoint languages ⋮ Reducible Theories and Amalgamations of Models ⋮ EQUIVALENCES FOR TRUTH PREDICATES

This page was built for publication: