Pages that link to "Item:Q2372685"

The following pages link to The embedding theorem: its further developments and consequences. I (Q2372685):

Displaying 12 items.

• Three ultrafilters in a modular logic (Q429920) (← links)
• The greatest extension of S4 into which intuitionistic logic is embeddable (Q1378428) (← links)
• The intensional side of algebraic-topological representation theorems (Q2695032) (← links)
• Corrections and additions to my paper ``A note on unprovability-preserving sound translations'', more general constructions (Q2735830) (← links)
• Generalized ordinal sums and translations (Q2885172) (← links)
• (Q2959490) (← links)
• A modal logic amalgam of classical and intuitionistic propositional logic (Q2987047) (← links)
• (Q4556013) (← links)
• The Disc Embedding Theorem (Q5002860) (← links)
• Lattice NExtS4 from the Embedding Theorem Viewpoint (Q5214738) (← links)
• On the Blok-Esakia Theorem (Q5255793) (← links)
• The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond (Q5886460) (← links)