-
Post-quantum cryptography studies the security of classical,
i.e. non-quantum cryptographic protocols against quantum
attacks. Until recently, the considered adversaries were assumed to
use quantum computers and behave like classical adversaries
otherwise. A more conservative approach is to assum...
-
The thesis deals with categorization of color in language,
specifically with the question how to account for its observed
cross-linguistic patterns. To this end, I consider color
categorization models of the most recent type, which go beyond the
dated dichotomy of universalism and relativism, int...
-
The aim of this thesis is to frame the dependence and independence
notions formulated in mathematical contexts in the more general theory
of dependence logic. In particular, the open question that we faced
was whether the kind of dependence and independence relations studied
in dependence logic a...
-
We introduce a framework designed to mathematically study and model
the 'evolvability' of entities. Our use of 'evolvability' is different
than the one found in the context of biology. We roughly understand an
entity as being 'evolvable' if, with non-negligible probability, it
can arise as the re...
-
This thesis aims at connecting the two research programs known as
Categorical Quantum Mechanics and Dynamic Quantum Logic. This is
achieved in three steps. First we define a procedure to extract a
Modal Logic frame from a small category and a functor into the
category of sets and relations. Secon...
-
Kinds - also known as 'natural sets' or 'universals' - are a very
intuitive assumption about the way the world is put together. As a
piece of metaphysical theory, however, they give rise to the
Identification Problem: which of all sets are the ones that in fact
qualify as kinds? In this thesis an...
-
In set theory, there are various transformations between models. In
particular, forcing, inner models, and ultrapowers occupy a
fundamental place in modern set theory. Each of these play a different
role. For example, forcing and inner models are typically used to
establish the consistency of sta...
-
In this thesis we shall argue on two levels (i) we shall elaborate and
criticise the traditional models of formal epistemology (i.e. the
standard Bayesian and Hintikka-style possible world models) and (ii)
we shall show that there is a theory of explanation which incorporates
the influence of bot...
-
The minimum cost spanning tree problem consists in constructing a
network of minimum cost that connects all agents to the source and
distributes the cost among the agents in a fair way. We develop a
framework for the iterative minimum cost spanning tree problem. In the
iterative setting, agents a...
-
This thesis is a study of the notion of canonicity (as is understood
e.g. in modal logic) from an algebraic viewpoint. The main conceptual
contribution of this thesis is a better understanding of the
connection between the Jónsson-style canonicity proof and the
canonicity-via-correspondence. The ...
-