Sorry, we do not have enough data to show an influence graph for this author.

#### Filter Results:

- Full text PDF available (0)

#### Publication Year

1997

2008

- This year (0)
- Last 5 years (0)
- Last 10 years (1)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Miklós Erdélyi-Szabó
- J. Symb. Log.
- 1997

- Miklós Erdélyi-Szabó
- Math. Log. Q.
- 1998

We show that true first-order arithmetic of the positive integers is interpretable over the real-algebraic structure of Scott’s topological model for intuitionistic analysis. From this the undecidability of the structure follows. Mathematics Subject Classification: 03D45, 03F55.

- Miklós Erdélyi-Szabó
- Math. Log. Q.
- 1997

- Miklós Erdélyi-Szabó
- J. Symb. Log.
- 2000

- Miklós Erdélyi-Szabó, László Kálmán, Ágnes Kurucz
- Journal of Logic, Language and Information
- 2008

- ‹
- 1
- ›