scientific article

From MaRDI portal

Publication:4035311

Jump to:navigation, search

zbMath0774.03014MaRDI QIDQ4035311

Yuri Gurevich

Publication date: 18 May 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

first-order logic compactness theorem finite structures preservation theorem Horn sentences Lyndon's theorem

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Interpolation, preservation, definability (03C40)

Related Items (2)

Preservation theorems in finite model theory ⋮ Action of endomorphism semigroups on definable sets

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4035311&oldid=17752560"