References

 [Andrews86]

P.B. Andrews. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Academic Press, 1986

 [BP90]

P. Byers, D. Pitt. Conservative Extensions: a Cautionary Note. EATCS-Bulletin, No. 41, pp. 196-201, 1997

 [Enderton72]

H.B. Enderton. A Mathematical Introduction to Logic. Academic Press, 1972

 [Maibaum97]

T.S.E. Maibaum. Conservative Extensions, Interpretations Between Theories and All That! TAPSOFT 97, Springer-Verlag, LNCS, pp. 40-67, 1997

 [Veloso92]

P.A.S. Veloso. Yet another cautionary note on conservative extensions: A Simple Case With a Computing Flavour. EATCS Bulletin, No. 46, pp. 188-192, 1992

 [VV91]

P.A.S. Veloso, S.R.M. Veloso. Some Remarks on Conservative Extensions. A Socratic Dialogue. EATCS Bulletin, No. 43, pp. 189-198, 1991