scientific article; zbMATH DE number 5066367

MaRDI QIDQ5393646zbMATH OpenFDO

Authors Albert Visser

Publication date 23 October 2006

zbMATH Keywords

2-structurecategories of theories and interpretationsinductionPeano arithmeticpreservation of propertiesrelative interpretation

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1038419
• scientific article; zbMATH DE number 3995941
• scientific article; zbMATH DE number 7599499
• Theories as types
• scientific article; zbMATH DE number 3218789
• Logic and categories as tools for building theories
• Categories and representations
• scientific article; zbMATH DE number 7599491
• scientific article; zbMATH DE number 3220362

Cited in

(40)

• Lewis meets Brouwer: constructive strict implication
• Conceptual divergence -- canons and taboos -- and critique: reflections on explanatory categories
• On the virtue of categoricity
• Constructive Ackermann's interpretation
• The predicative Frege hierarchy
• On generalization of definitional equivalence to non-disjoint languages
• Glymour and Quine on theoretical equivalence
• Set theory with and without urelements and categories of interpretations
• Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries
• Extension and interpretability
• scientific article; zbMATH DE number 3916232 (Why is no real title available?)
• Inversive meadows and divisive meadows
• scientific article; zbMATH DE number 1038419 (Why is no real title available?)
• Model theory of proalgebraic groups
• Set theory with a proper class of indiscernibles
• On Morita equivalence and interpretability
• Distances between formal theories
• BI-INTERPRETATION IN WEAK SET THEORIES
• The interpretation existence lemma
• Equivalences for truth predicates
• Categories in Context: Historical, Foundational, and Philosophical
• Reducible Theories and Amalgamations of Models
• WHAT IS A RESTRICTIVE THEORY?
• A step towards absolute versions of metamathematical results
• An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics
• Beyond linguistic interpretation in theory comparison
• On elementary theories of weighted and labelled trees
• Risk and theoretical equivalence in mathematical foundations
• Gaps, gluts, and theoretical equivalence
• Mutual translatability, equivalence, and the structure of theories
• On classical determinate truth
• When bi-interpretability implies synonymy
• Of sheep and wolves: equivalence and disagreement in set theory
• Non-tightness in class theory and second-order arithmetic
• Intuitionistic sets and numbers: small set theory and Heyting arithmetic
• Testing definitional equivalence of theories via automorphism groups
• On logical and scientific strength
• Relative interpretation between logics
• What set theory could not be about
• Pairs, sets and sequences in first-order theories

This page was built for publication:

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