Pages that link to "Item:Q1368911"
From MaRDI portal
The following pages link to Characterizing classes defined with equality (Q1368911):
Displayed 10 items.
- Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems (Q854961) (← links)
- Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties (Q878147) (← links)
- First order logic without equality on relativized semantics (Q1791054) (← links)
- Lattices of theories in languages without equality (Q1949165) (← links)
- On the closure properties of the class of full G-models of a deductive system (Q2433101) (← links)
- Categorical abstract algebraic logic: Partially ordered algebraic systems (Q2502179) (← links)
- Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors (Q3430283) (← links)
- Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems (Q3525204) (← links)
- Algebraic Characterizations for Universal Fragments of Logic (Q4264538) (← links)
- Freeness in classes without equality (Q4934034) (← links)