53 citations · 306 across the 21 of their papers we have counts for
Showing 2011 · math.LOShow all
2 papers · 2 filters
math.LO2011
Formalizing set theory in weak logics, searching for the weakest logic with Gödel's incompleteness property
H. Andréka, I. Németi
We show that first-order logic can be translated into a very simple and weak logic, and thus set theory can be formalized in this weak logic. This weak logical system is equivalent…
math.LO2011★ 11 cited
Vienna Circle and Logical Analysis of Relativity Theory
H. Andréka, J. X. Madarász, I. Németi +2
In this paper we present some of our school's results in the area of building up relativity theory (RT) as a hierarchy of theories in the sense of logic. We use plain first-order l…