Pages that link to "Item:Q5619067"
From MaRDI portal
The following pages link to Applications of Strict Π<sub>1</sub><sup>1</sup> predicates to infinitary logic (Q5619067):
Displaying 10 items.
- The Sylvester-Gallai theorem, colourings and algebra (Q998535) (← links)
- Partially ordered connectives and monadic monotone strict NP (Q1024818) (← links)
- Descriptive characterizations of computational complexity (Q1123616) (← links)
- Automatic synthesis of logical models for order-sorted first-order theories (Q1655487) (← links)
- The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques (Q2228436) (← links)
- Boolean dependence logic and partially-ordered connectives (Q2361349) (← links)
- Σ<sub>1</sub>-compactness in languages stronger than (Q4175541) (← links)
- Barwise: Infinitary Logic and Admissible Sets (Q4678932) (← links)
- European Meeting of the Association for Symbolic Logic, Bristol, England, 1973 (Q4777253) (← links)
- On Some Semi-constructive Theories Related to Kripke–Platek Set Theory (Q5214791) (← links)