Pages that link to "Item:Q1652858"
From MaRDI portal
The following pages link to Axiomatizations of universal classes through infinitary logic (Q1652858):
Displaying 13 items.
- Axiomatizability by \({\forall \exists!}\)-sentences (Q647342) (← links)
- Universell axiomatisierbare Klassen von Fastkörpern. (Universally axiomatizable classes of near-fields) (Q913864) (← links)
- Axiomatizable classes with strong homomorphisms (Q1100195) (← links)
- Universal abstract consistency class and universal refutation (Q1288438) (← links)
- On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions (Q1652877) (← links)
- Structural completeness in many-valued logics with rational constants (Q2080696) (← links)
- Deciding active structural completeness (Q2288335) (← links)
- (Q2941273) (← links)
- Categorical characterization of universally axiomatizable classes of finitary relational systems (Q3979192) (← links)
- Finite Axiomatizations for Universal Domains (Q4013251) (← links)
- (Q4335229) (← links)
- Singly generated quasivarieties and residuated structures (Q5119904) (← links)
- Filter classes of upsets of distributive lattices (Q6615239) (← links)