The quantifier complexity of NF.
Bulletin of the Belgian Mathematical Society - Simon Stevin (1996)
- Volume: 3, Issue: 3, page 301-312
- ISSN: 1370-1444
Access Full Article
top
How to cite
topKaye, Richard. "The quantifier complexity of NF.." Bulletin of the Belgian Mathematical Society - Simon Stevin 3.3 (1996): 301-312. <http://eudml.org/doc/119029>.
@article{Kaye1996,
author = {Kaye, Richard},
journal = {Bulletin of the Belgian Mathematical Society - Simon Stevin},
keywords = {New Foundations; fragments; quantifier complexity; axiomatizations},
language = {eng},
number = {3},
pages = {301-312},
publisher = {Société Mathématique de Belgique - Belgisch Wiskundig Genootschap},
title = {The quantifier complexity of NF.},
url = {http://eudml.org/doc/119029},
volume = {3},
year = {1996},
}
TY - JOUR
AU - Kaye, Richard
TI - The quantifier complexity of NF.
JO - Bulletin of the Belgian Mathematical Society - Simon Stevin
PY - 1996
PB - Société Mathématique de Belgique - Belgisch Wiskundig Genootschap
VL - 3
IS - 3
SP - 301
EP - 312
LA - eng
KW - New Foundations; fragments; quantifier complexity; axiomatizations
UR - http://eudml.org/doc/119029
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.