Model complete universal Horn classes

DOI10.1007/BF01194519zbMATH Open0549.03025OpenAlexW2059358655MaRDI QIDQ800351

Steven Givant, John T. Baldwin

Publication date: 1983

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01194519

zbMATH Keywords

universal Horn classesmodels of a universal Horn theorynumber of non- isomorphic models

Mathematics Subject Classification ID

Could not fetch data.

Cites Work

• Title not available (Why is that?)
• On universal Horn classes categorical in some infinite power
• A representation theorem for universal horn classes categorical in power
• Fragments of first order logic, I: universal Horn logic
• Horn sentences
• The decision problem for some classes of sentences without quantifiers

This page was built for publication: Model complete universal Horn classes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q800351)