THE COMPLEXITY OF THE MODAL PREDICATE LOGIC OF TRUE IN EVERY TRANSITIVE MODEL OF ZF

Authors
MCGEE V
Citation
V. Mcgee, THE COMPLEXITY OF THE MODAL PREDICATE LOGIC OF TRUE IN EVERY TRANSITIVE MODEL OF ZF, The Journal of symbolic logic, 62(4), 1997, pp. 1371-1378
Citations number
9
Journal title
The Journal of symbolic logic → ACNP
ISSN journal
00224812
Volume
62
Issue
4
Year of publication
1997
Pages
1371 - 1378
Database
ISI
SICI code
0022-4812(1997)62:4<1371:TCOTMP>2.0.ZU;2-J