Decidability of Scott's Model as an Ordered Q-Vectorspace. - Miklós Erdélyi-Szabó (J. Symb. Log., 1997)

Decidability in the Constructive Theory of Reals as an Ordered ℚ-vectorspace. - Miklós Erdélyi-Szabó (Math. Log. Q., 1997)

Undecidability of the Real Algebraic Structure of Scott's Model. - Miklós Erdélyi-Szabó (Math. Log. Q., 1998)

Undecidability of The Real-Algebraic Structure of Models of Intuitionistic Elementary Analysis. - Miklós Erdélyi-Szabó (J. Symb. Log., 2000)

Towards a natural language semantics without functors and operands. - Miklós Erdélyi-Szabó; László Kálmán; Agi Kurucz (J. Log. Lang. Inf., 2008)

Encoding true second-order arithmetic in the real-algebraic structure of models of intuitionistic elementary analysis. - Miklós Erdélyi-Szabó (Math. Log. Q., 2021)