Pages that link to "Item:Q1092043"
From MaRDI portal
The following pages link to Lindenbaum algebras of intuitionistic theories and free categories (Q1092043):
Displaying 5 items.
- Introduction: A personal tribute to Peter Freyd and Bill Lawvere (Q680307) (← links)
- Aspects of predicative algebraic set theory. I: Exact completion (Q958492) (← links)
- Independent axiomatizability of sets of sentences (Q1262853) (← links)
- Saturated free algebras and almost indiscernible theories (Q2120438) (← links)
- From Proof Nets to the Free *-Autonomous Category (Q5310668) (← links)