On convergence of the Fourier series of a constructive function of weakly bounded variation
On cut elimination in the presence of peirce rule.
On effective speed-up and long proofs of trivial theorems in formal theories
On elementary cuts in models of arithmetic
On global induction mechanisms in a -calculus with explicit approximations
We investigate a Gentzen-style proof system for the first-order -calculus based on cyclic proofs, produced by unfolding fixed point formulas and detecting repeated proof goals. Our system uses explicit ordinal variables and approximations to support a simple semantic induction discharge condition which ensures the well-foundedness of inductive reasoning. As the main result of this paper we propose a new syntactic discharge condition based on traces and establish its equivalence with the semantic...
On global induction mechanisms in a μ-calculus with explicit approximations
We investigate a Gentzen-style proof system for the first-order μ-calculus based on cyclic proofs, produced by unfolding fixed point formulas and detecting repeated proof goals. Our system uses explicit ordinal variables and approximations to support a simple semantic induction discharge condition which ensures the well-foundedness of inductive reasoning. As the main result of this paper we propose a new syntactic discharge condition based on traces and establish its equivalence with the semantic...
On hereditarily separable Hausdorff spaces in the constructible universe
On independent recursive axiomatisation in intuitionistic logic
On interpretability in theories containing arithmetic. II.
On Intuitionistic Sentential Connectives I.
On Kalmar's consistency proof and a generalization of the notion of ...-consistency.
On local proof restrictions for strong theories [Book]
On necessary but not-sufficient conditions.
On non-tabular -pre-complete classes of formulas in the propositional provability logic.
On normalization of proofs in set theory [Book]
On quasi-antiorder in semigroups
On rational solution of the state equation of a finite automaton.
On recursive measure of classes of recursive sets
On Regular Anti-congruence in Anti-ordered Semigroups
On separation axioms in intuitionistic topological spaces.