Pages that link to "Item:Q5300585"
From MaRDI portal
The following pages link to On generalizing free algebras for a functor (Q5300585):
Displaying 5 items.
- The bounded proof property via step algebras and step frames (Q741087) (← links)
- Free-algebra functors from a coalgebraic perspective (Q2229228) (← links)
- An algorithm for free algebras. (Q3083839) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures (Q6612780) (← links)