Publication:3781742

zbMath0641.03020MaRDI QIDQ3781742

Michał Krynicki, Leslaw W. Szczerba

Publication date: 1986

zbMATH Keywords

Kleene-Mostowski hierarchy

Mathematics Subject Classification ID

03C40: Interpolation, preservation, definability

03C07: Basic properties of first-order languages and structures

Related Items

On simplicity of formulas