The monadic theory and the next world
From MaRDI portal
Publication:1063588
DOI10.1007/BF02760646zbMath0575.03028MaRDI QIDQ1063588
Publication date: 1984
Published in: Israel Journal of Mathematics (Search for Journal in Brave)
topological space; real line; Boolean-valued model; interpretation theorem; second-order theories; vicinity spaces
Related Items
Peano arithmetic may not be interpretable in the monadic theory of linear orders, Trees, grids, and MSO decidability: from graphs to matroids, Notes on monadic logic. Part B: Complexity of linear orders in ZFC, More on monadic logic. C: Monadically interpreting in stable unsuperstable \(\mathcal T\) and the monadic theory of \(^{\omega}\lambda\), Monadic logic and Löwenheim numbers, Notes on monadic logic. A: Monadic theory of the real line, Monadic Theory of a Linear Order Versus the Theory of its Subsets with the Lifted Min/Max Operations, On the strength of the interpretation method
Cites Work