DC FieldValueLanguage
dc.contributor.authorKapetanović, Miodragen_US
dc.date.accessioned2022-10-14T09:51:24Z-
dc.date.available2022-10-14T09:51:24Z-
dc.date.issued1999-
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/4842-
dc.description.abstractMaljcev introduced a notion of free presentation for arbitrary classes of models and characterized classes of structures admitting such presentations. The connection with Horn clause axiomatizability was shown by Tabata in case of first order theories with equality. Here we prove a generalization of this result for infinitary theories without equality.en_US
dc.publisherMathematical Institute of the Serbian Academy of Sciences and Artsen_US
dc.relation.ispartofPublications de l'Institut Mathématiqueen_US
dc.titleInitial Models and Horn Clause Axiomatizabilityen_US
dc.typeArticleen_US
dc.identifier.urlhttp://elib.mi.sanu.ac.rs/files/journals/publ/85/n079p017.pdf-
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Artsen_US
dc.relation.firstpage17-
dc.relation.lastpage19-
dc.relation.issue79-
dc.relation.volume65-
dc.description.rankM24-
item.fulltextNo Fulltext-
item.openairetypeArticle-
item.grantfulltextnone-
item.cerifentitytypePublications-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
Show simple item record

Page view(s)

22
checked on Jan 31, 2025

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.