Given an infinite cardinal kappa one can ask what kind of logic L is needed to characterize all models of cardinality kappa (in a finite vocabulary) by their L-theories. The logics studied in the thesis are higher order logics, infinitary higher order logics and logics with generalized quantifiers. The expressive power of higher order languages depends a lot on the model of set theory, so forcing is used in the thesis a lot.

Archieven ontsluiten hun stukken en laten gebruikers zoeken met behulp van archiefbeschrijvingen. Encoded Archival Description (EAD) in Extensible Markup Language (XML) is de technische standaard voor digitale archiefbeschrijvingen. Het wordt nu steeds meer gebruikt om de kloof tussen de tastbare maar soms onvindbare (papieren) stukken in de archieven en digitale objecten op het internet te overbruggen. Deze beschrijvingen zijn toegangen om informatie over, of verwijzingen naar, archiefstukken te kunnen vinden. Typische toegangen zijn diep-hierarchisch qua structuur en beschrijven inhoudelijk soms (kilo)meters aan archief. Junte Zhang onderzocht hoe gebruik gemaakt kan worden van XML-retrievaltechnieken om archieven met EAD-toegangen te ontsluiten. Hij ontwikkelde een systeemevaluatie voor EAD-retrieval om de effectiviteit van de terugvindbaarheid van beschrijvingen in digitale toegangen te meten. Daarnaast bracht hij het informatiezoekgedrag van archiefgebruikers in kaart. Zhang werpt een nieuw licht op de digitale toegankelijkheid van archieven. Hij laat zien dat het verbeteren van de toegankelijkheid nauw samenhangt met evaluatie.

For more information, see http://www.uva.nl/actueel/promoties-oraties/promoties.cfm/ or https://www.illc.uva.nl/Research/Dissertations/.