Power Types in Explicit Mathematics?
Jager, Gerhard
J. Symbolic Logic, Tome 62 (1997) no. 1, p. 1142-1146 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
In this note it is shown that in explicit mathematics the strong power type axiom is inconsistent with (uniform) elementary comprehension and discuss some general aspects of power types in explicit mathematics.
Publié le : 1997-12-14
Classification:  
@article{1183745369,
     author = {Jager, Gerhard},
     title = {Power Types in Explicit Mathematics?},
     journal = {J. Symbolic Logic},
     volume = {62},
     number = {1},
     year = {1997},
     pages = { 1142-1146},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183745369}
}

Jager, Gerhard. Power Types in Explicit Mathematics?. J. Symbolic Logic, Tome 62 (1997) no. 1, pp.  1142-1146. http://gdmltest.u-ga.fr/item/1183745369/