Miklós Erdélyi-Szabó

From MaRDI portal
Person:1006482

Available identifiers

zbMath Open erdelyi-szabo.miklosMaRDI QIDQ1006482

List of research outcomes





PublicationDate of PublicationType
Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis2023-09-12Paper
Towards a natural language semantics without functors and operands2009-03-24Paper
Undecidability of the real-algebraic structure of models of intuitionistic elementary analysis2001-05-03Paper
Undecidability of the Real-Algebraic Structure of Scott's Model1999-05-24Paper
Decidability of Scott's model as an ordered ℚ-vectorspace1998-06-17Paper
Decidability in the Constructive Theory of Reals as an Ordered ℚ‐vectorspace1997-10-30Paper
Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real AlgebraN/APaper

Research outcomes over time

This page was built for person: Miklós Erdélyi-Szabó

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1006482&oldid=5817307"
Powered by MediaWiki