Väänänen, Jouko; Welch, Philip D. When cardinals determine the power set: inner models and Härtig quantifier logic. (English) Zbl 07782436 Math. Log. Q. 69, No. 4, 460-471 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{J. Väänänen} and \textit{P. D. Welch}, Math. Log. Q. 69, No. 4, 460--471 (2023; Zbl 07782436) Full Text: DOI arXiv OA License
Kennedy, Juliette; Väänänen, Jouko Logicality and model classes. (English) Zbl 07482178 Bull. Symb. Log. 27, No. 4, 385-414 (2021). MSC: 03C07 03A05 03C75 PDFBibTeX XMLCite \textit{J. Kennedy} and \textit{J. Väänänen}, Bull. Symb. Log. 27, No. 4, 385--414 (2021; Zbl 07482178) Full Text: DOI arXiv
Engström, Fredrik; Kontinen, Juha; Väänänen, Jouko Dependence logic with generalized quantifiers: axiomatizations. (English) Zbl 1423.03110 J. Comput. Syst. Sci. 88, 90-102 (2017). MSC: 03B60 03C80 PDFBibTeX XMLCite \textit{F. Engström} et al., J. Comput. Syst. Sci. 88, 90--102 (2017; Zbl 1423.03110) Full Text: DOI Link
Bagaria, Joan; Väänänen, Jouko On the symbiosis between model-theoretic and set-theoretic properties of large cardinals. (English) Zbl 1436.03265 J. Symb. Log. 81, No. 2, 584-604 (2016). MSC: 03E55 03C55 PDFBibTeX XMLCite \textit{J. Bagaria} and \textit{J. Väänänen}, J. Symb. Log. 81, No. 2, 584--604 (2016; Zbl 1436.03265) Full Text: DOI Link
Väänänen, Jouko The Craig interpolation theorem in abstract model theory. (English) Zbl 1169.03028 Synthese 164, No. 3, 401-420 (2008). MSC: 03C40 03C95 PDFBibTeX XMLCite \textit{J. Väänänen}, Synthese 164, No. 3, 401--420 (2008; Zbl 1169.03028) Full Text: DOI
Shelah, Saharon; Väänänen, Jouko A note on extensions of infinitary logic. (English) Zbl 1059.03033 Arch. Math. Logic 44, No. 1, 63-69 (2005). MSC: 03C75 PDFBibTeX XMLCite \textit{S. Shelah} and \textit{J. Väänänen}, Arch. Math. Logic 44, No. 1, 63--69 (2005; Zbl 1059.03033) Full Text: DOI arXiv
Väänänen, Jouko Barwise: Abstract model theory and generalized quantifiers. (English) Zbl 1074.03017 Bull. Symb. Log. 10, No. 1, 37-53 (2004). Reviewer: Daniele Mundici (Firenze) MSC: 03C80 03C95 03C75 03-02 03-03 01A60 PDFBibTeX XMLCite \textit{J. Väänänen}, Bull. Symb. Log. 10, No. 1, 37--53 (2004; Zbl 1074.03017) Full Text: DOI
Herre, Heinrich; Krynicki, Michał; Pinus, Alexander; Väänänen, Jouko The Härtig quantifier: A survey. (English) Zbl 0737.03013 J. Symb. Log. 56, No. 4, 1153-1183 (1991). Reviewer: M.Weese (Berlin) MSC: 03C80 03-02 PDFBibTeX XMLCite \textit{H. Herre} et al., J. Symb. Log. 56, No. 4, 1153--1183 (1991; Zbl 0737.03013) Full Text: DOI
Krynicki, Michal; Vaeaenaenen, Jouko On orderings of the family of all logics. (English) Zbl 0499.03024 Arch. Math. Logik Grundlagenforsch. 22, 141-158 (1982). MSC: 03C80 03C95 PDFBibTeX XMLCite \textit{M. Krynicki} and \textit{J. Vaeaenaenen}, Arch. Math. Logik Grundlagenforsch. 22, 141--158 (1982; Zbl 0499.03024) Full Text: DOI EuDML