Pages that link to "Item:Q3916560"

The following pages link to An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem (Q3916560):

Displaying 3 items.

• The metatheory of the classical propositional calculus is not axiomatizable (Q3748264) (← links)
• A Simple Construction of Robinson Equivalence Relations (Q3808080) (← links)
• Duality Between Logics and Equivalence Relations (Q3960670) (← links)