Syntactical truth predicates for second order arithmetic

DOI10.2307/2694919zbMath0978.03044OpenAlexW2009074483MaRDI QIDQ2732276

Loïc Colson, Serge Grigorieff

Publication date: 22 January 2002

Published in: 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)

Related Items (1)

Preface

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A minimal model for set theory
• Second order arithmetic and related topics
• Systems of predicative analysis
• Degrees of unsolvability of constructible sets of integers
• Proof theory

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