The following pages link to (Q3078324):
Displaying 28 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)
- Chain logic and Shelah's infinitary logic (Q2066130) (← links)
- Fake reflection (Q2066138) (← links)
- Default consequence relations from topology and measure theory (Q2122773) (← links)
- Isomorphic limit ultrapowers for infinitary logic (Q2130530) (← links)
- Games and Scott sentences for positive distances between metric structures (Q2140580) (← links)
- Model theory of monadic predicate logic with the infinity quantifier (Q2144617) (← links)
- Games for hybrid logic. From semantic games to analytic calculi (Q2148784) (← links)
- Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD (Q2148809) (← links)
- Closed maximality principles and generalized Baire spaces (Q2319893) (← links)
- Generalized Descriptive Set Theory and Classification Theory (Q2925669) (← links)
- The infinite-valued semantics: overview, recent results and future directions (Q4583316) (← links)
- AN EXPOSITION OF THE COMPACTNESS OF (Q4984858) (← links)
- A descriptive Main Gap Theorem (Q4991906) (← links)
- Souslin quasi-orders and bi-embeddability of uncountable structures (Q5097134) (← links)
- Sameness (Q5214794) (← links)
- GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC (Q5880428) (← links)
- Regularity properties on the generalized reals (Q5965174) (← links)
- Boolean valued semantics for infinitary logics (Q6073912) (← links)
- COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND (Q6131221) (← links)
- The strategic balance of games in logic (Q6612796) (← links)
- Dimension in team semantics (Q6620027) (← links)
