Publication:5632564
From MaRDI portal
zbMath0226.02041MaRDI QIDQ5632564
Publication date: 1971
03B25: Decidability of theories and sets of sentences
03C40: Interpolation, preservation, definability
Related Items
Hierarchies of weak automata and weak monadic formulas, Determinacy of sinking automata on infinite trees and inequalities between various Rabin's pair indices