Passive induction and a solution to a Paris-Wilkie open question (Q882120): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Normalize DOI.
 
(5 intermediate revisions by 4 users not shown)
Property / DOI
 
Property / DOI: 10.1016/j.apal.2007.01.003 / rank
Normal rank
 
Property / reviewed by
 
Property / reviewed by: Roman Murawski / rank
Normal rank
 
Property / reviewed by
 
Property / reviewed by: Roman Murawski / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.apal.2007.01.003 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1996215903 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Herbrand consistency and bounded arithmetic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Existentially closed structures and Gödel's second incompleteness theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4339021 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Herbrand consistency in weak arithmetic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Derivability conditions on Rosser's provability predicates / rank
 
Normal rank
Property / cites work
 
Property / cites work: Gödel's Second incompleteness theorem for <i>Q</i> / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3794177 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Unprovability of consistency statements in fragments of bounded arithmetic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Arithmetization of metamathematics in a general setting / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4863622 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4001935 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: A note on proofs of falsehood / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4856172 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Solution of a problem of Leon Henkin / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4229041 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4726219 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A note on the undefinability of cuts / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3755452 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cuts, consistency statements and interpretations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4885911 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5560258 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proof theory. 2nd ed / rank
 
Normal rank
Property / cites work
 
Property / cites work: Gödel sentences of bounded arithmetic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Undecidable theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: An inside view of EXP; or, The closed fragment of the provability logic of I<i>Δ</i><sub>0</sub> + <i>Ω</i><sub>1</sub> with a prepositional constant for EXP / rank
 
Normal rank
Property / cites work
 
Property / cites work: The unprovability of small inconsistency. A study of local and global interpretability / rank
 
Normal rank
Property / cites work
 
Property / cites work: Faith \& falsity / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the scheme of induction for bounded arithmetic formulas / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2721211 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Self-verifying axiom systems, the incompleteness theorem and related reflection principles / rank
 
Normal rank
Property / cites work
 
Property / cites work: How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3367334 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency / rank
 
Normal rank
Property / cites work
 
Property / cites work: A generalization of the second incompleteness theorem and some exceptions to it / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Axiom System IΣ0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.APAL.2007.01.003 / rank
 
Normal rank

Latest revision as of 06:52, 10 December 2024

scientific article
Language Label Description Also known as
English
Passive induction and a solution to a Paris-Wilkie open question
scientific article

    Statements

    Passive induction and a solution to a Paris-Wilkie open question (English)
    0 references
    0 references
    23 May 2007
    0 references
    The paper is devoted to the question formulated in 1981 by \textit{J. Paris} and \textit{A. Wilkie} in the paper ``\(\Delta_{0}\) sets and induction'' [Jadwisin Conf. Proc. 237--248 (1981)]: whether and to what extent the axiom system I\(\Sigma_{0}\) does satisfy the Second Incompleteness Theorem under Semantic Tableaux deduction. In the paper ``How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic Q'' [J. Symb. Log. 67, 465--496 (2002; Zbl 1004.03050)], the author showed that the semantic tableaux version of the Second Incompleteness Theorem does generalize for the most common definition of I\(\Sigma_{0}\) appearing in standard textbooks. In the paper under review it is shown that the incompleteness results of the mentioned paper can be generalized in the context of an alternate definition of the axiom system I\(\Sigma_{0}\) given also in the paper by Paris and Wilkie [loc. cit.]. Further, a formal analysis using a new technique called Passive Induction is developed. It is simpler than the formalism used by the author earlier in the paper from 2002.
    0 references
    incompleteness theorem
    0 references
    semantic tableaux
    0 references
    Herbrand deduction
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers