Concepedia

Definability with bounded number of bound variables

Neil Immerman, Dexter Kozen

Information and Computation · 1989 · 33 citations · 6 references

DOI

Concepts

References

6

An application of games to the completeness problem for formalized theories

Andrzej Ehrenfeucht · Fundamenta Mathematicae · 1961 · 613 citations · Full text

, , +14

Upper and lower bounds for first order expressibility

Neil Immerman · Journal of Computer and System Sciences · 1982 · 257 citations

, , +6

On Moschovakis closure ordinals

Jon Barwise · Journal of Symbolic Logic · 1977 · 140 citations

, , +2

Complexity of Boolean algebras

Dexter Kozen · Theoretical Computer Science · 1980 · 55 citations

, , +12

Definability in dynamic logic

Albert R. Meyer, Rohit Parikh · Journal of Computer and System Sciences · 1981 · 32 citations · Full text

, , +13