Erdélyi-Szabó, Miklós (2021) Encoding true second-order arithmetic in the real-algebraic structure of models of intuitionistic elementary analysis. MATHEMATICAL LOGIC QUARTERLY, 67 (3). ISSN 0942-5616
|
Text
SOINTRA-draft.pdf Download (247kB) | Preview |
Official URL: http://doi.org/10.1002/malq.202000048
Abstract
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.
| Item Type: | Article |
|---|---|
| Additional Information: | Export Date: 13 January 2022 Correspondence Address: Erdélyi-Szabó, M.; Rényi Alfréd Institute of Mathematics, 1053 Budapest, Reáltanoda u. 13-15, Hungary; email: mszabo@renyi.hu Funding text 1: The author would like to thank the anonymous referee whose comments helped to considerably improve the?manuscript. |
| Subjects: | Q Science / természettudomány > QA Mathematics / matematika |
| SWORD Depositor: | MTMT SWORD |
| Depositing User: | MTMT SWORD |
| Date Deposited: | 14 Jan 2022 08:18 |
| Last Modified: | 14 Jan 2022 08:18 |
| URI: | http://real.mtak.hu/id/eprint/135879 |
Actions (login required)
 |
Edit Item |
