The following pages link to Jouko Väänänen (Q278764):
Displaying 50 items.
- A logical approach to context-specific independence (Q122510) (← links)
- Propositional logics of dependence (Q278765) (← links)
- (Q388208) (redirect page) (← links)
- Axiomatizing first-order consequences in dependence logic (Q388209) (← links)
- (Q498614) (redirect page) (← links)
- Regular ultrapowers at regular cardinals (Q498615) (← links)
- Propositional team logics (Q526967) (← links)
- A remark on negation in dependence logic (Q628802) (← links)
- Dependence of variables construed as an atomic formula (Q636322) (← links)
- On definability in dependence logic (Q735407) (← links)
- Vector spaces and binary quantifiers (Q795826) (← links)
- From IF to BI. A tale of dependence and separation (Q833040) (← links)
- The Craig interpolation theorem in abstract model theory (Q1024119) (← links)
- Henkin and function quantifiers (Q1121872) (← links)
- Trees and Ehrenfeucht-Fraïssé games (Q1125057) (← links)
- Quantifiers and congruence closure (Q1300006) (← links)
- Unary quantifiers on finite models (Q1361404) (← links)
- Definability of polyadic lifts of generalized quantifiers (Q1361405) (← links)
- A note on extensions of infinitary logic (Q1765098) (← links)
- Finite information logic (Q1779313) (← links)
- On the expressive power of monotone natural language quantifiers over finite models (Q1857361) (← links)
- Games played on partial isomorphisms (Q1879001) (← links)
- Generalized quantifiers and pebble games on finite structures (Q1892941) (← links)
- Dependence and independence (Q1956372) (← links)
- Chain logic and Shelah's infinitary logic (Q2066130) (← links)
- Internal categoricity in arithmetic and set theory (Q2345394) (← links)
- Boolean-valued second-order logic (Q2345397) (← links)
- EMS Paper on Open Access (Q2352814) (← links)
- Dependence logic with generalized quantifiers: axiomatizations (Q2361348) (← links)
- A logic for arguing about probabilities in measure teams (Q2402954) (← links)
- Erratum to: ``On definability in dependence logic'' (Q2429991) (← links)
- Positive logics (Q2700818) (← links)
- DEPENDENCE LOGIC IN PREGEOMETRIES AND <i>ω</i>-STABLE THEORIES (Q2805022) (← links)
- A Logical Approach to Context-Specific Independence (Q2820693) (← links)
- Dependence Logic with Generalized Quantifiers: Axiomatizations (Q2849428) (← links)
- Independence in Database Relations (Q2849431) (← links)
- (Q2851817) (← links)
- An Ehrenfeucht-Fraïssé game for Lω1ω (Q2856638) (← links)
- A dichotomy theorem for the generalized Baire space and elementary embeddability at uncountable cardinals (Q2985952) (← links)
- (Q3030750) (← links)
- (Q3078324) (← links)
- CHAIN MODELS, TREES OF SINGULAR CARDINALITY AND DYNAMIC EF-GAMES (Q3094360) (← links)
- ON LÖWENHEIM–SKOLEM–TARSKI NUMBERS FOR EXTENSIONS OF FIRST ORDER LOGIC (Q3094361) (← links)
- (Q3118408) (← links)
- The Ehrenfeucht-Fraisse-Game of Length ω 1 (Q3142086) (← links)
- On the semantics of informational independence (Q3147434) (← links)
- ON THE SYMBIOSIS BETWEEN MODEL-THEORETIC AND SET-THEORETIC PROPERTIES OF LARGE CARDINALS (Q3188331) (← links)
- The Logic of Approximate Dependence (Q3299846) (← links)
- Abstract logic and set theory. II. Large cardinals (Q3312208) (← links)
- A Cantor-Bendixson theorem for the space ${ω_1}^{ω_1}$ (Q3358730) (← links)
