The Complexity of the Modal Predicate Logic of "True in Every Transitive Model of ZF"
McGee, Vann
J. Symbolic Logic, Tome 62 (1997) no. 1, p. 1371-1378 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1997-12-14
Classification:  
@article{1183745387,
     author = {McGee, Vann},
     title = {The Complexity of the Modal Predicate Logic of "True in Every Transitive Model of ZF"},
     journal = {J. Symbolic Logic},
     volume = {62},
     number = {1},
     year = {1997},
     pages = { 1371-1378},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183745387}
}

McGee, Vann. The Complexity of the Modal Predicate Logic of "True in Every Transitive Model of ZF". J. Symbolic Logic, Tome 62 (1997) no. 1, pp.  1371-1378. http://gdmltest.u-ga.fr/item/1183745387/