Syntactical truth predicates for second order arithmetic

DOI10.2307/2694919zbMATH Open0978.03044OpenAlexW2009074483MaRDI QIDQ2732276FDOQ2732276

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

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

zbMATH Keywords

truth predicatesecond-order arithmetic

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Proof theory
• Systems of predicative analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Degrees of unsolvability of constructible sets of integers
• Second order arithmetic and related topics
• A minimal model for set theory

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)