The following pages link to (Q3078324):
Displayed 10 items.
- Intuitionistic games: determinacy, completeness, and normalization (Q332080) (← links)
- Axiomatizing first-order consequences in dependence logic (Q388209) (← links)
- A game semantics for disjunctive logic programming (Q388214) (← links)
- Large cardinals and definable well-orders, without the GCH (Q487691) (← links)
- A game semantics for system P (Q514506) (← links)
- The complexity of isomorphism for complete theories of linear orders with unary predicates (Q527333) (← links)
- Scott ranks of models of a theory (Q1644961) (← links)
- Generalized Descriptive Set Theory and Classification Theory (Q2925669) (← links)
- The infinite-valued semantics: overview, recent results and future directions (Q4583316) (← links)
- Regularity properties on the generalized reals (Q5965174) (← links)