Negative consistent axioms can be postulated without loss of canonicity Thierry Coquand, Nils Anders Danielsson, Mart´ın H¨ - Axioms of set theory - Document - PDFSEARCH.IO

First Page	Meta Content
	Negative consistent axioms can be postulated without loss of canonicity Thierry Coquand, Nils Anders Danielsson, Mart´ın H¨ Add to Reading List Document Date: 2013-10-19 03:17:32 Open Document File Size: 178,42 KB Share Result on Facebook Person Thierry Coquand / Nils Anders Danielsson / Ulf Norell / / Position proof assistant / / SocialTag Set theory Z notation Type theory Axiom Mathematical constructivism Model theory Mathematical proof S Intuitionistic type theory Mathematical logic

Negative consistent axioms can be postulated without loss of canonicity Thierry Coquand, Nils Anders Danielsson, Mart´ın H¨Add to Reading List