Pages that link to "Item:Q4085693"

The following pages link to Adding propositional connectives to countable infinitary logic (Q4085693):

Displaying 3 items.

• Positive results in abstract model theory: a theory of compact logics (Q796519) (← links)
• Extensions of countable infinitary logic which preserve most of its nice properties (Q3927221) (← links)
• Pitts' quantifiers are not topological quantification (Q5937836) (← links)