Pages that link to "Item:Q1652877"
From MaRDI portal
The following pages link to On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions (Q1652877):
Displaying 5 items.
- Axiomatizability by \({\forall \exists!}\)-sentences (Q647342) (← links)
- Axiomatizations of universal classes through infinitary logic (Q1652858) (← links)
- Local characterization theorems for some classes of structures (Q2707243) (← links)
- What is a logical theory? On theories containing assertions and denials (Q6067100) (← links)
- Filter classes of upsets of distributive lattices (Q6615239) (← links)