•  14
    A logic for arguing about probabilities in measure teams
    with Tapani Hyttinen and Jouko Väänänen
    Archive for Mathematical Logic 56 (5-6): 475-489. 2017.
    We use sets of assignments, a.k.a. teams, and measures on them to define probabilities of first-order formulas in given data. We then axiomatise first-order properties of such probabilities and prove a completeness theorem for our axiomatisation. We use the Hardy–Weinberg Principle of biology and the Bell’s Inequalities of quantum physics as examples.
  •  31
    Quantum Team Logic and Bell’s Inequalities
    with Tapani Hyttinen and Jouko Väänänen
    Review of Symbolic Logic 8 (4): 722-742. 2015.
    A logical approach to Bell's Inequalities of quantum mechanics has been introduced by Abramsky and Hardy [2]. We point out that the logical Bell's Inequalities of [2] are provable in the probability logic of Fagin, Halpern and Megiddo [4]. Since it is now considered empirically established that quantum mechanics violates Bell's Inequalities, we introduce a modified probability logic, that we call quantum team logic, in which Bell's Inequalities are not provable, and prove a Completeness Theorem …Read more
  •  3
    Computable scott sentences for quasi–Hopfian finitely presented structures
    Archive for Mathematical Logic 62 (1): 55-65. 2023.
    We prove that every quasi-Hopfian finitely presented structure _A_ has a _d_- \(\Sigma _2\) Scott sentence, and that if in addition _A_ is computable and _Aut_(_A_) satisfies a natural computable condition, then _A_ has a computable _d_- \(\Sigma _2\) Scott sentence. This unifies several known results on Scott sentences of finitely presented structures and it is used to prove that other not previously considered algebraic structures of interest have computable _d_- \(\Sigma _2\) Scott sentences.…Read more
  •  14
    Strongly minimal Steiner systems I: Existence
    Journal of Symbolic Logic 86 (4): 1486-1507. 2021.
    A linear space is a system of points and lines such that any two distinct points determine a unique line; a Steiner k-system is a linear space such that each line has size exactly k. Clearly, as a two-sorted structure, no linear space can be strongly minimal. We formulate linear spaces in a vocabulary $\tau $ with a single ternary relation R. We prove that for every integer k there exist $2^{\aleph _0}$ -many integer valued functions $\mu $ such that each $\mu $ determines a distinct strongly mi…Read more
  •  9
    First-order model theory of free projective planes
    with Tapani Hyttinen
    Annals of Pure and Applied Logic 172 (2): 102888. 2021.
  •  4
    Coxeter Groups and Abstract Elementary Classes: The Right-Angled Case
    with Tapani Hyttinen
    Notre Dame Journal of Formal Logic 60 (4): 707-731. 2019.
    We study classes of right-angled Coxeter groups with respect to the strong submodel relation of a parabolic subgroup. We show that the class of all right-angled Coxeter groups is not smooth and establish some general combinatorial criteria for such classes to be abstract elementary classes (AECs), for them to be finitary, and for them to be tame. We further prove two combinatorial conditions ensuring the strong rigidity of a right-angled Coxeter group of arbitrary rank. The combination of these …Read more
  •  12
    Independence in Model Theory and Team Semantics
    Bulletin of Symbolic Logic 24 (4): 461-462. 2018.
  •  21
    Beyond abstract elementary classes: On the model theory of geometric lattices
    with Tapani Hyttinen
    Annals of Pure and Applied Logic 169 (2): 117-145. 2018.
  •  4
    Reduction of database independence to dividing in atomless Boolean algebras
    with Tapani Hyttinen
    Archive for Mathematical Logic 55 (3-4): 505-518. 2016.
    We prove that the form of conditional independence at play in database theory and independence logic is reducible to the first-order dividing calculus in the theory of atomless Boolean algebras. This establishes interesting connections between independence in database theory and stochastic independence. As indeed, in light of the aforementioned reduction and recent work of Ben-Yaacov :957–1012, 2013), the former case of independence can be seen as the discrete version of the latter.
  •  7
    A Finite Axiomatization of G-Dependence
    Journal of Logic, Language and Information 26 (3): 293-302. 2017.
    We show that a form of dependence known as G-dependence admits a very natural finite axiomatization, as well as Armstrong relations. We also give an explicit translation between functional dependence and G-dependence.
  •  31
    Independence logic and abstract independence relations
    Mathematical Logic Quarterly 61 (3): 202-216. 2015.
    We continue the work on the relations between independence logic and the model-theoretic analysis of independence, generalizing the results of [15] and [16] to the framework of abstract independence relations for an arbitrary AEC. We give a model-theoretic interpretation of the independence atom and characterize under which conditions we can prove a completeness result with respect to the deductive system that axiomatizes independence in team semantics and statistics.