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.