V. Kulikov

activity

20122018

most citedGeneralized Descriptive Set Theory and Classification Theory

64 citations · 75 across the 13 of their papers we have counts for

collaborators

Showing 2018Show all

2 papers · 1 filter

cs.LO2018

Facets of Distribution Identities in Probabilistic Team Semantics

Miika Hannula, Åsa Hirvonen, Juha Kontinen +2

We study probabilistic team semantics which is a semantical framework allowing the study of logical and probabilistic dependencies simultaneously. We examine and classify the expre…

math.LO2018

On $Σ_{1}^{1}$ -completeness of quasi-orders on $κ^{κ}$

Tapani Hyttinen, Vadim Kulikov, Miguel Moreno

We prove under $V = L$ that the inclusion modulo the non-stationary ideal is a $Σ_{1}^{1}$ -complete quasi-order in the generalized Borel-reducibility hierarchy ( $κ > ω$ ). This improvement…

Facets of Distribution Identities in Probabilistic Team Semantics

On Σ11​-completeness of quasi-orders on κκ

On $Σ_{1}^{1}$ -completeness of quasi-orders on $κ^{κ}$