The following pages link to Jouko Väänänen (Q278764):
Displaying 49 items.
- On Scott and Karp trees of uncountable models (Q3360170) (← links)
- Lindstrom theorems for fragments of first-order logic (Q3395097) (← links)
- (Q3446107) (← links)
- QUANTUM TEAM LOGIC AND BELL’S INEQUALITIES (Q3459087) (← links)
- (Q3464651) (← links)
- (Q3509083) (← links)
- (Q3520836) (← links)
- (Q3574474) (← links)
- Regular ultrafilters and finite square principles (Q3617362) (← links)
- (Q3657988) (← links)
- Δ-extension and Hanf-numbers (Q3671952) (← links)
- (Q3789541) (← links)
- (Q3870878) (← links)
- (Q3874187) (← links)
- A Quantifier for Isomorphisms (Q3874188) (← links)
- The Hanf Number of L ω 1 ω 1 (Q3893907) (← links)
- On the Axiomatizability of the Notion of an Automorphism of a Finite Order (Q3912563) (← links)
- Decidability of Some Logics with Free Quantifier Variables (Q3941387) (← links)
- (Q3941392) (← links)
- Boolean valued models and generalized quantifiers (Q3942942) (← links)
- On orderings of the family of all logics (Q3964545) (← links)
- The Härtig quantifier: a survey (Q3984397) (← links)
- (Q4161292) (← links)
- (Q4173353) (← links)
- (Q4182720) (← links)
- (Q4186302) (← links)
- Trees and -subsets of <sup>ω1</sup>ω<sub>1</sub> (Q4276037) (← links)
- On the number of automorphisms of uncountable models (Q4283074) (← links)
- PARTIALLY ORDERED CONNECTIVES (Q4295216) (← links)
- Reflection of Long Game Formulas (Q4304095) (← links)
- Second-Order Logic and Foundations of Mathematics (Q4328795) (← links)
- (Q4355676) (← links)
- (Q4374667) (← links)
- (Q4395557) (← links)
- Stationary sets and infinitary logic (Q4527925) (← links)
- (Q4599513) (← links)
- Barwise: Abstract Model Theory and Generalized Quantifiers (Q4678933) (← links)
- More on the Ehrenfeucht–Fraisse game of length ω<sub>1</sub> (Q4790187) (← links)
- LOGICALITY AND MODEL CLASSES (Q5037517) (← links)
- On second-order characterizability (Q5176658) (← links)
- AN EXTENSION OF A THEOREM OF ZERMELO (Q5226595) (← links)
- POSITIONAL STRATEGIES IN LONG EHRENFEUCHT–FRAÏSSÉ GAMES (Q5251370) (← links)
- JAAKKO HINTIKKA 1929–2015 (Q5346687) (← links)
- Second Order Logic or Set Theory? (Q5388758) (← links)
- Recursive logic frames (Q5469107) (← links)
- On ordinals accessible by infinitary languages (Q5694296) (← links)
- When cardinals determine the power set: inner models and Härtig quantifier logic (Q6140754) (← links)
- An atom’s worth of anonymity (Q6200764) (← links)
- Logicality and Model Classes (Q6371226) (← links)
