Mathematical Logic Quarterly

Translations of Logical Formulas and the Equiconsistency Problem

Journal Article


A translation of formulas in a language L1 to formulas in a language L2 is a mapping which preserves the parameters and commutes with the substitution prefix, the propositional connectives and the quantifiers. Every translation generates a corresponding transformation of theories in L1 to theories in L2. We formulate the equiconsistency problem for such transformations and propose a variant of its solution. First, for a transformation F we find the least theory A(F) in L1 such that its inclusion in a theory T (in L1) guarantees equiconsistency of F and F(T), then we propose axiomatizations of A(F) for some F's.

Mathematics Subject Classification: 03B10, 03B15, 03F25.

Related Topics

Related Publications

Related Content

Site Footer


This website is provided by John Wiley & Sons Limited, The Atrium, Southern Gate, Chichester, West Sussex PO19 8SQ (Company No: 00641132, VAT No: 376766987)

Published features on are checked for statistical accuracy by a panel from the European Network for Business and Industrial Statistics (ENBIS)   to whom Wiley and express their gratitude. This panel are: Ron Kenett, David Steinberg, Shirley Coleman, Irena Ograjenšek, Fabrizio Ruggeri, Rainer Göb, Philippe Castagliola, Xavier Tort-Martorell, Bart De Ketelaere, Antonio Pievatolo, Martina Vandebroek, Lance Mitchell, Gilbert Saporta, Helmut Waldl and Stelios Psarakis.