Switch to: References

Add citations

You must login to add citations.
  1. Reduction of database independence to dividing in atomless Boolean algebras.Tapani Hyttinen & Gianluca Paolini - 2016 - Archive for Mathematical Logic 55 (3-4):505-518.
    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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • First-order model theory of free projective planes.Tapani Hyttinen & Gianluca Paolini - 2021 - Annals of Pure and Applied Logic 172 (2):102888.
    Download  
     
    Export citation  
     
    Bookmark  
  • Coxeter Groups and Abstract Elementary Classes: The Right-Angled Case.Tapani Hyttinen & Gianluca Paolini - 2019 - Notre Dame Journal of Formal Logic 60 (4):707-731.
    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 results translates (...)
    Download  
     
    Export citation  
     
    Bookmark