scientific article; zbMATH DE number 1163986
From MaRDI portal
Publication:4395613
zbMath0905.03017MaRDI QIDQ4395613
Publication date: 11 June 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
computational complexityinfinitary logicfinite model theoryimplicit definabilityleast fixed-point logicpebble gamesnon-axiomatizability
Complexity of computation (including implicit computational complexity) (03D15) Model theory of finite structures (03C13) Interpolation, preservation, definability (03C40) Other infinitary logic (03C75)
This page was built for publication:
