Pages that link to "Item:Q1868245"
From MaRDI portal
The following pages link to Skolem's discovery of Gödel-Dummett logic (Q1868245):
Displaying 8 items.
- Gödel algebras: interactive dualities and their applications. (Q494623) (← links)
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- Constructing illoyal algebra-valued models of set theory (Q2046361) (← links)
- Farewell to suppression-freedom (Q2198315) (← links)
- Decision methods for linearly ordered Heyting algebras (Q2491077) (← links)
- For Want of an ‘And’: A Puzzle about Non-Conservative Extension (Q5317773) (← links)
- In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs (Q5421030) (← links)
- Free algebras in varieties of BL-algebras generated by a BL<sub><i>n</i></sub>-chain (Q5480467) (← links)