Premium
Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis
Author(s) -
ErdélyiSzabó Miklós
Publication year - 2021
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.202000048
Subject(s) - mathematics , algebraic number , algebra over a field , algebraic structure , second order arithmetic , class (philosophy) , order (exchange) , arithmetic , algebraic operation , pure mathematics , discrete mathematics , computer science , artificial intelligence , mathematical analysis , finance , peano axioms , economics
Based on the paper [4] we show that true second‐order arithmetic is interpretable over the real‐algebraic structure of models of intuitionistic analysis built upon a certain class of complete Heyting algebras.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom