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

truth predicatesecond-order arithmetic

Mathematics Subject Classification ID

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

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 \(\omega\)-inconsistent theories of truth in second-order languages

Cites work

• 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?)
• A minimal model for set theory
• Degrees of unsolvability of constructible sets of integers
• Proof theory
• Second order arithmetic and related topics
• Systems of predicative analysis

Cited in

(6)

• Some notes on truths and comprehension
• 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

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)