scientific article; zbMATH DE number 5066367
From MaRDI portal
Publication:5393646
zbMath1107.03066MaRDI QIDQ5393646
Publication date: 23 October 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
inductionPeano arithmetic2-structurepreservation of propertiesrelative interpretationcategories of theories and interpretations
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 (20)
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 ⋮ 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:
