BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Jouko Väänänen
SearchCollections
Map detail
Jouko Väänänen13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipJouko VäänänenAJouko VäänänenResearcherTracing Internal CategoricityWTracing Internal Catego...preprint / 2020An Ehrenfeucht-Fraïssé Game for $L_{ω_1ω}$WAn Ehrenfeucht-Fraïssé ...preprint / 2012The Logic of Approximate DependenceWThe Logic of Approximat...preprint / 2014On highly equivalent non-isomorphic countable models of arithmetic and set theoryWOn highly equivalent no...preprint / 2022Dependence and IndependenceWDependence and Independ...preprint / 2012The size of a formula as a measure of complexityWThe size of a formula a...preprint / 2012Axiomatizing first order consequences in dependence logicWAxiomatizing first orde...preprint / 2012Positional strategies in long Ehrenfeucht-Fraissé gamesWPositional strategies i...preprint / 2013On Dependence LogicWOn Dependence Logicpreprint / 2013Dependence Logic in Pregeometries and $ω$-Stable TheoriesWDependence Logic in Pre...preprint / 2016Stationary sets and infinitary logicWStationary sets and inf...preprint / 1997A dichotomy theorem for the generalized Baire space and elementary embeddability at uncountable cardinalsWA dichotomy theorem for...preprint / 2016
Person12 links

Jouko Väänänen

Researcher

PaperTracing Internal CategoricityAuthorship / preprint / 2020PaperAn Ehrenfeucht-Fraïssé Game for Lω1ωL_{ω_1ω}Authorship / preprint / 2012PaperThe Logic of Approximate DependenceAuthorship / preprint / 2014PaperOn highly equivalent non-isomorphic countable models of arithmetic and set theoryAuthorship / preprint / 2022PaperDependence and IndependenceAuthorship / preprint / 2012PaperThe size of a formula as a measure of complexityAuthorship / preprint / 2012PaperAxiomatizing first order consequences in dependence logicAuthorship / preprint / 2012PaperPositional strategies in long Ehrenfeucht-Fraissé gamesAuthorship / preprint / 2013

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)