Add to ORKGIn this paper we study the interpretations of a weak arithmetic, like Buss' theory S12, in a given theory U. We call these interpretations the arithmetics of U. We develop the basics of the structure of the arithmetics of U. We study the provability logic(s) of U from the standpoint of the framework of the arithmetics of U. Finally, we provide a deeper study of the arithmetics of a finitely axiomatized sequential theory
One of the central open questions in bounded arithmetic is whether Buss'hierarchy of theories of bou...
We investigate the modal logic of interpretability over Peano arithmetic (PA). Our main result is a...
It is well-known that theories of Bounded Arithmetic are closely related to propositional proof syst...
In this paper we study the interpretations of a weak arithmetic, like Buss' theory S12, in a given t...
In this paper we study the interpretations of a weak arithmetic, like Buss' theory S^1_2, in a given...
In this paper we show that the degrees of interpretability of finitely axiomatized extensions-in-the...
The primary purpose of this note is to demonstrate that predicative Frege arithmetic naturally inter...
This paper is concerned with the 'logical structure' of arithmetical theories. We survey results con...
In this paper we show that the degrees of interpretability of finitely axiomatized extensions-in-the...
In this paper, we study the provability logic of intuitionistic theories of arithmetic that prove th...
In this paper we develop the theory of cardinals in the theory COPY. This is the theory of two tota...
This paper is a presentation of a status quæstionis, to wit of the problem of the interpretability l...
Thesis: The Notion of Interpretation between Axiomatic Theories Author: Jan Štefanišin Abstract: In ...
AbstractWe suggest an algebraic approach to proof-theoretic analysis based on the notion of graded p...
In this paper we give a new proof of the characterization of the closed fragment of the provability...
One of the central open questions in bounded arithmetic is whether Buss'hierarchy of theories of bou...
We investigate the modal logic of interpretability over Peano arithmetic (PA). Our main result is a...
It is well-known that theories of Bounded Arithmetic are closely related to propositional proof syst...
In this paper we study the interpretations of a weak arithmetic, like Buss' theory S12, in a given t...
In this paper we study the interpretations of a weak arithmetic, like Buss' theory S^1_2, in a given...
In this paper we show that the degrees of interpretability of finitely axiomatized extensions-in-the...
The primary purpose of this note is to demonstrate that predicative Frege arithmetic naturally inter...
This paper is concerned with the 'logical structure' of arithmetical theories. We survey results con...
In this paper we show that the degrees of interpretability of finitely axiomatized extensions-in-the...
In this paper, we study the provability logic of intuitionistic theories of arithmetic that prove th...
In this paper we develop the theory of cardinals in the theory COPY. This is the theory of two tota...
This paper is a presentation of a status quæstionis, to wit of the problem of the interpretability l...
Thesis: The Notion of Interpretation between Axiomatic Theories Author: Jan Štefanišin Abstract: In ...
AbstractWe suggest an algebraic approach to proof-theoretic analysis based on the notion of graded p...
In this paper we give a new proof of the characterization of the closed fragment of the provability...
One of the central open questions in bounded arithmetic is whether Buss'hierarchy of theories of bou...
We investigate the modal logic of interpretability over Peano arithmetic (PA). Our main result is a...
It is well-known that theories of Bounded Arithmetic are closely related to propositional proof syst...