Miklós Erdélyi-Szabó

According to our database, Miklós Erdélyi-Szabó authored at least 6 papers between 1997 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

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

2008

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

2000

Undecidability of The Real-Algebraic Structure of Models of Intuitionistic Elementary Analysis.

Miklós Erdélyi-Szabó

J. Symb. Log., 2000

1998

Undecidability of the Real Algebraic Structure of Scott's Model.

Miklós Erdélyi-Szabó

Math. Log. Q., 1998

1997

Decidability in the Constructive Theory of Reals as an Ordered ℚ-vectorspace.

Miklós Erdélyi-Szabó

Math. Log. Q., 1997

Decidability of Scott's Model as an Ordered Q-Vectorspace.

Miklós Erdélyi-Szabó

J. Symb. Log., 1997