PP-2007-02: Essentially Sigma-1 formulae in Sigma L

PP-2007-02: Vosmaer, Jacob (2007) Essentially Sigma-1 formulae in Sigma L. [Report]

[img]
Preview
Text (Full Text)
PP-2007-02.text.pdf

Download (182kB) | Preview
[img] Text (Abstract)
PP-2007-02.abstract.txt

Download (284B)

Abstract

The essentially $\Sigma_1$ formulae of $\Sigma$L are exactly those which are provably equivalent to a disjunction of conjunctions of $\Box$ and $\Sigma_1$ formulae.

Item Type: Report
Report Nr: PP-2007-02
Series Name: Prepublication (PP) Series
Year: 2007
Uncontrolled Keywords: provability logic; interpretability logic
Subjects: Logic
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/236

Actions (login required)

View Item View Item