Miklós Erdélyi-Szabó

Available identifiers

zbMath Open erdelyi-szabo.miklosMaRDI QIDQ1006482

List of research outcomes

Publication	Date of Publication	Type
Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis	2023-09-12	Paper
Towards a natural language semantics without functors and operands	2009-03-24	Paper
Undecidability of the real-algebraic structure of models of intuitionistic elementary analysis	2001-05-03	Paper
Undecidability of the Real-Algebraic Structure of Scott's Model	1999-05-24	Paper
Decidability of Scott's model as an ordered ℚ-vectorspace	1998-06-17	Paper
Decidability in the Constructive Theory of Reals as an Ordered ℚ‐vectorspace	1997-10-30	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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