Syntactical truth predicates for second order arithmetic

DOI10.2307/2694919MaRDI QIDQ2732276zbMATH OpenOpenAlexFDO

Authors Loïc Colson, Serge Grigorieff

Publication date 22 January 2002

Published in The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2694919

zbMATH Keywords

second-order arithmetictruth predicate

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Review text

In the paper the notion of a syntactical truth predicate for second-order arithmetic is introduced and studied. This predicate can be seen as a counterpart to Tarski's notion of model-theoretical validity. It is shown that the existence of a syntactical truth predicate is equivalent to the existence of an \(\omega\)-model of second-order arithmetic.

Recommendations

• Syntactical truth predicates for formulas with atomic negation
• Second-order arithmetic \textit{sans} sets
• How truthlike can a predicate be? A negative result
• Some notes on truths and comprehension
• Notes on -inconsistent theories of truth in second-order languages

Cites work

• A minimal model for set theory
• Degrees of unsolvability of constructible sets of integers
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 1144041 (Why is no real title available?)
• scientific article; zbMATH DE number 3217001 (Why is no real title available?)
• Proof theory
• Second order arithmetic and related topics
• Systems of predicative analysis

Cited in

(6)

• Arithmetic with satisfaction
• Formalizing non-standard arguments in second-order arithmetic
• Syntactical truth predicates for formulas with atomic negation
• Second-order arithmetic \textit{sans} sets
• Preface
• Some notes on truths and comprehension

This page was built for publication: Syntactical truth predicates for second order arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2732276)