Pages that link to "Item:Q5954707"
From MaRDI portal
The following pages link to Persistence and atomic generation for varieties of Boolean algebras with operators (Q5954707):
Displaying 11 items.
- Neat embeddings, omitting types, and interpolation: an overview (Q558739) (← links)
- Persistent properties and an application to algebras of logic (Q1272145) (← links)
- Elementary generation and canonicity for varieties of Boolean algebras with operators (Q1906001) (← links)
- Existence of certain finite relation algebras implies failure of omitting types for \(L_n\) (Q1981982) (← links)
- Elementary canonical formulae: extending Sahlqvist's theorem (Q2498906) (← links)
- Atomless varieties (Q3160556) (← links)
- Omitting types for algebraizable extensions of first order logic (Q3647239) (← links)
- Erdős Graphs Resolve Fine's Canonicity Problem (Q4678939) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- Algebraic Logic, Where Does it Stand Today? (Q5472642) (← links)
- MacNeille completions and canonical extensions (Q5705523) (← links)