Pages that link to "Item:Q1372155"

The following pages link to Model completions and r-Heyting categories (Q1372155):

Displaying 13 items.

• On Bellissima's construction of the finitely generated free Heyting algebras, and beyond (Q711563) (← links)
• Uniform interpolation and coherence (Q1740631) (← links)
• Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) (Q2051565) (← links)
• Combination of uniform interpolants via Beth definability (Q2090132) (← links)
• Combined covers and Beth definability (Q2096445) (← links)
• Uniform interpolation and compact congruences (Q2363208) (← links)
• Fixed-Point Elimination in the Intuitionistic Propositional Calculus (Q2811336) (← links)
• Model completion of scaled lattices and co‐Heyting algebras of <i>p</i>‐adic semi‐algebraic sets (Q5108866) (← links)
• Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond (Q5139276) (← links)
• EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES (Q5207566) (← links)
• MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS (Q5879189) (← links)
• The small index property of the Fraïssé limit of finite Heyting algebras (Q6038511) (← links)
• THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS (Q6095984) (← links)