Horn Sentences of Small Size in Identity Theory

DOI10.1002/MALQ.19860322509zbMath0623.03009OpenAlexW2039074342MaRDI QIDQ3760503

Sauro Tulipani, G. Marongiu

Publication date: 1986

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19860322509

zbMATH Keywords

spectrumHorn sentencelanguage of pure equality

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15) Model theory of finite structures (03C13)

Related Items (1)

Horn sentences excluding a prime

This page was built for publication: Horn Sentences of Small Size in Identity Theory