Stoevring, Kristian - Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative

lmcs:2249 - Logical Methods in Computer Science, March 16, 2006, Volume 2, Issue 2
Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative

Authors: Stoevring, Kristian

We answer Klop and de Vrijer's question whether adding surjective-pairing axioms to the extensional lambda calculus yields a conservative extension. The answer is positive. As a byproduct we obtain a "syntactic" proof that the extensional lambda calculus with surjective pairing is consistent.


Source : oai:arXiv.org:math/0602544
DOI : 10.2168/LMCS-2(2:1)2006
Volume: Volume 2, Issue 2
Published on: March 16, 2006
Submitted on: November 23, 2005
Keywords: Mathematics - Logic,F.4.1


Share

Consultation statistics

This page has been seen 44 times.
This article's PDF has been downloaded 21 times.