Miklós Erdélyi-Szabó

Publication Activity (10 Years)

Years Active: 1997-2021
Publications (10 Years): 1

Top Topics

Algebraic Structure

Top Venues

Publications

Miklós Erdélyi-Szabó
Encoding true second-order arithmetic in the real-algebraic structure of models of intuitionistic elementary analysis. Math. Log. Q. 67 (3) (2021)
Miklós Erdélyi-Szabó, László Kálmán, Agi Kurucz
Towards a natural language semantics without functors and operands. J. Log. Lang. Inf. 17 (1) (2008)
Miklós Erdélyi-Szabó
Undecidability of The Real-Algebraic Structure of Models of Intuitionistic Elementary Analysis. J. Symb. Log. 65 (3) (2000)
Miklós Erdélyi-Szabó
Undecidability of the Real Algebraic Structure of Scott's Model. Math. Log. Q. 44 (1998)
Miklós Erdélyi-Szabó
Decidability in the Constructive Theory of Reals as an Ordered ℚ-vectorspace. Math. Log. Q. 43 (1997)
Miklós Erdélyi-Szabó
Decidability of Scott's Model as an Ordered Q-Vectorspace. J. Symb. Log. 62 (3) (1997)