Source author record

Yuya Okawa

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO

Catalog footprint

Research overview

3works

1topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

On Guaspari's problem about partially conservative sentences

We investigate sentences which are simultaneously partially conservative over several theories. First, we generalize Bennet's results on this topic to the case of more than two theories. In particular, for any finite family $\{T_i\}_{i \leq k}$ of consistent r.e. extensions of Peano Arithmetic, we give a necessary and sufficient condition for the existence of a $Π_n$ sentence which is unprovable in $T_i$ and $Σ_n$ -conservative over $T_i$ for all $i \leq k$ . Secondly, we prove that for any finite family of such theories, there exists a $Σ_n$ sentence which is simultaneously unprovable and $Π_n$ -conservative over each of these theories. This constitutes a positive solution to a particular case of Guaspari's problem. Finally, we demonstrate several non-implications among related properties of families of theories.

preprint2022arXiv

Unary interpretability logics for sublogics of the interpretability logic $\mathbf{IL}$

De Rijke introduced a unary interpretability logic $\mathbf{il}$ , and proved that $\mathbf{il}$ is the unary counterpart of the binary interpretability logic $\mathbf{IL}$ . In this paper, we find the unary counterparts of the sublogics of $\mathbf{IL}$ .

preprint2020arXiv

The fixed point and the Craig interpolation properties for sublogics of $\mathbf{IL}$

We study the fixed point property and the Craig interpolation property for sublogics of the interpretability logic $\mathbf{IL}$ . We provide a complete description of these sublogics concerning the uniqueness of fixed points, the fixed point property and the Craig interpolation property.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Yuya Okawa

Research overview

Is this your work?

3 publications

On Guaspari's problem about partially conservative sentences

Unary interpretability logics for sublogics of the interpretability logic $\mathbf{IL}$

The fixed point and the Craig interpolation properties for sublogics of $\mathbf{IL}$

See the researcher in context

Building this map preview

Yuya Okawa

Research overview

Is this your work?

3 publications

On Guaspari's problem about partially conservative sentences

Unary interpretability logics for sublogics of the interpretability logic IL\mathbf{IL}IL

The fixed point and the Craig interpolation properties for sublogics of IL\mathbf{IL}IL

See the researcher in context

Building this map preview

Unary interpretability logics for sublogics of the interpretability logic $\mathbf{IL}$

The fixed point and the Craig interpolation properties for sublogics of $\mathbf{IL}$