Pages that link to "Item:Q4678932"
From MaRDI portal
The following pages link to Barwise: Infinitary Logic and Admissible Sets (Q4678932):
Displaying 6 items.
- Bounds on the strength of ordinal definable determinacy in small admissible sets (Q1762358) (← links)
- Can logic be combined with probability? Probably (Q2390653) (← links)
- Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic (Q3393380) (← links)
- Spectral spaces of countable Abelian lattice-ordered groups (Q4644964) (← links)
- Complexity of Scott sentences (Q5146417) (← links)
- INVARIANT MEASURES CONCENTRATED ON COUNTABLE STRUCTURES (Q5739903) (← links)
