Open AccessA polynomial encoding provability in pure mathematics (outline of an explicit construction)
Author(s) -
Merlin Carl,
B. Z. Moroz
Publication year - 2013
Publication title -
bulletin of the belgian mathematical society simon stevin
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.36
H-Index - 31
eISSN - 2034-1970
pISSN - 1370-1444
DOI - 10.36045/bbms/1366306724
Subject(s) - mathematics , polynomial , algebra over a field , pure mathematics , calculus (dental) , discrete mathematics , mathematical analysis , medicine , dentistry