Pages that link to "Item:Q5300067"

The following pages link to Satisfaction relations for proper classes: Applications in logic and set theory (Q5300067):

Displaying 6 items.

• A case for satisfaction classes: model theoretic vs axiomatic approaches to the notion of truth (Q2856063) (← links)
• DEFINABILITY OF SATISFACTION IN OUTER MODELS (Q2976379) (← links)
• Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach (Q3623837) (← links)
• The satisfiabilty problem for a class consisting of horn sentences and some non-horn sentences in proportional logic (Q3677734) (← links)
• The small‐is‐very‐small principle (Q5108874) (← links)
• The subset relation and 2‐stratified sentences in set theory and class theory (Q6096719) (← links)