scientific article; zbMATH DE number 1136099
From MaRDI portal
Publication:4381409
zbMath0899.03023MaRDI QIDQ4381409
Publication date: 2 November 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
complete binary treefinite variable logicrecursive functionindiscerniblesfinite model theoryLöwenheim-Skolem propertyEhrenfeucht-Mostowski property
Complexity of computation (including implicit computational complexity) (03D15) Model theory of finite structures (03C13) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)
Related Items (2)
Large finite structures with few \(L^k\)-types ⋮ There is no recursive link between the \(k\)-size of a model and its cardinality
This page was built for publication:
