Epimorphisms, definability and cardinalities (Q2307302)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Epimorphisms, definability and cardinalities |
scientific article |
Statements
Epimorphisms, definability and cardinalities (English)
0 references
27 March 2020
0 references
The paper is a contribution to abstract algebraic logic, in particular to connections between epimorphisms and the Beth property. There are many definitions. The epimorphism surjective property states that for a class K of structures, an epimorphism between two members of K is surjective. The Beth property is formulated for an abstract derivablity notion $\vdash$ and associated model notion, in terms of homomorphisms. The main theorem for these notions is that under some assumptions, $\vdash$ has the Beth property if and only if in a certain prevariety of models, every epimorphism is surjective.
0 references
epimorphism
0 references
prevariety
0 references
quasivariety
0 references
Beth definability
0 references
algebraizable logic
0 references
equivalential logic
0 references
Beth property
0 references