25 citations · 39 across the 18 of their papers we have counts for
21 papers
On the ABK Conjecture, alpha-well Quasi Orders and Dress-Schiffels product
Uri Abraham, Robert Bonnet, Mirna Džamonja +1
The following is a 2008 conjecture of Abraham, Bonnet and Kubiś: [ABK Conjecture] Every well quasi order (wqo) is a countable union of better quasi orders (bqo). We obtain a partia…
The Lindstrom's Characterizability of Abstract Logic Systems for Analytic Structures Based on Measures
Krystian Jobczyk, Mirna Dzamonja
In 1969, Per Lindstrom proved his celebrated theorem characterising the first-order logic and established criteria for the first-order definability of formal theories for discrete…
Formalising Ordinal Partition Relations Using Isabelle/HOL
Mirna Džamonja, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson
This is an overview of a formalisation project in the proof assistant Isabelle/HOL of a number of research results in infinitary combinatorics and set theory (more specifically in…
On wide Aronszajn trees in the presence of MA
Mirna Džamonja, Saharon Shelah
A wide Aronszajn tree is a tree of size and height with no uncountable branches. We prove that under there is no wide Aronszajn tree which is universal under weak e…
Chain Logic and Shelah's Infinitary Logic
Mirna Džamonja, Jouko Väänänen
For a cardinal of the form , Shelah's logic has a characterisation as the maximal logic above satisfying Strong Undefinability of Well O…
On Ordinal Invariants in Well Quasi Orders and Finite Antichain Orders
Mirna Džamonja, Sylvain Schmitz, Philippe Schnoebelen
We investigate the ordinal invariants height, length, and width of well quasi orders (WQO), with particular emphasis on width, an invariant of interest for the larger class of orde…