Abstract We study various properties of formalised relativised interpretability. In the central part of this thesis we study for different interpretability logics the following aspects: completeness for modal semantics, decidability and algorithmic complexity. In particular, we study two basic types of relational semantics for interpretability logics. One is the Veltman semantics, which we shall refer to as the regular or ordinary semantics; the other is called generalised Veltman semantics. In the recent years and especially during the writing of this thesis, generalised Veltman semantics was shown to be particularly well-suited as a relational semantics for interpretability logics. In particular, modal completeness results are easier to obtain in some cases; and decidability can be proven via filtration in all known cases. We prove various new and reprove some old completeness results with respect to the generalised semantics. We use the method of filtration to obtain the finite model property for various logics. Apart from results concerning semantics in its own right, we also apply methods from semantics to determine decidability (implied by the finite model property) and complexity of provability (and consistency) problems for certain interpretability logics. From the arithmetical standpoint, we explore three different series of interpretability principles. For two of them, for which arithmetical and modal soundness was already known, we give a new proof of arithmetical soundness. The third series results from our modal considerations. We prove it arithmetically sound and also characterise frame conditions w.r.t. ordinary Veltman semantics. We also prove results concerning the new series and generalised Veltman semantics. Abstract prepared by Luka Mikec. E-mail: luka.mikec1@gmail.com URL: http://hdl.handle.net/2445/177373
{"title":"On Logics and Semantics for Interpretability","authors":"Luka Mikec","doi":"10.1017/bsl.2022.3","DOIUrl":"https://doi.org/10.1017/bsl.2022.3","url":null,"abstract":"Abstract We study various properties of formalised relativised interpretability. In the central part of this thesis we study for different interpretability logics the following aspects: completeness for modal semantics, decidability and algorithmic complexity. In particular, we study two basic types of relational semantics for interpretability logics. One is the Veltman semantics, which we shall refer to as the regular or ordinary semantics; the other is called generalised Veltman semantics. In the recent years and especially during the writing of this thesis, generalised Veltman semantics was shown to be particularly well-suited as a relational semantics for interpretability logics. In particular, modal completeness results are easier to obtain in some cases; and decidability can be proven via filtration in all known cases. We prove various new and reprove some old completeness results with respect to the generalised semantics. We use the method of filtration to obtain the finite model property for various logics. Apart from results concerning semantics in its own right, we also apply methods from semantics to determine decidability (implied by the finite model property) and complexity of provability (and consistency) problems for certain interpretability logics. From the arithmetical standpoint, we explore three different series of interpretability principles. For two of them, for which arithmetical and modal soundness was already known, we give a new proof of arithmetical soundness. The third series results from our modal considerations. We prove it arithmetically sound and also characterise frame conditions w.r.t. ordinary Veltman semantics. We also prove results concerning the new series and generalised Veltman semantics. Abstract prepared by Luka Mikec. E-mail: luka.mikec1@gmail.com URL: http://hdl.handle.net/2445/177373","PeriodicalId":22265,"journal":{"name":"The Bulletin of Symbolic Logic","volume":"208 1","pages":"265 - 265"},"PeriodicalIF":0.0,"publicationDate":"2022-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73103559","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Abstract The main topics of this thesis are cardinal invariants, P -points and MAD families. Cardinal invariants of the continuum are cardinal numbers that are bigger than $aleph _{0}$ and smaller or equal than $mathfrak {c}.$ Of course, they are only interesting when they have some combinatorial or topological definition. An almost disjoint family is a family of infinite subsets of $omega $ such that the intersection of any two of its elements is finite. A MAD family is a maximal almost disjoint family. An ultrafilter $mathcal {U}$ on $omega $ is called a P-point if every countable $mathcal {Bsubseteq U}$ there is $Xin $ $mathcal {U}$ such that $Xsetminus B$ is finite for every $Bin mathcal {B}.$ This kind of ultrafilters has been extensively studied, however there is still a large number of open questions about them. In the preliminaries we recall the principal properties of filters, ultrafilters, ideals, MAD families and cardinal invariants of the continuum. We present the construction of Shelah, Mildenberger, Raghavan, and Steprāns of a completely separable MAD family under $mathfrak {sleq a}.$ None of the results in this chapter are due to the author. The second chapter is dedicated to a principle of Sierpiński. The principle $left ( ast right ) $ of Sierpiński is the following statement: There is a family of functions $left { varphi _{n}:omega _{1}longrightarrow omega _{1}mid nin omega right } $ such that for every $Iin left [ omega _{1}right ] ^{omega _{1}}$ there is $nin omega $ for which $varphi _{n}left [ Iright ] =omega _{1}.$ This principle was recently studied by Arnie Miller. He showed that this principle is equivalent to the following statement: There is a set $X=left { f_{alpha }mid alpha