A new concept of predicative truth and definability

DOI10.1007/BF01147475MaRDI QIDQ2264656zbMATH OpenFDO

Authors Nikolay N. Nepeivoda

Publication date 1973

Published in Mathematical Notes (Search for Journal in Brave)

Mathematics Subject Classification ID

Intermediate logics (03B55) Proof theory and constructive mathematics (03F99)

Cites work

• scientific article; zbMATH DE number 3115105 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Hierarchies of number-theoretic predicates
• Systems of predicative analysis

Cited in

(2)

• Theory of proofs (arithmetic and analysis)
• A note on three-valued logic and Tarski theorem on truth definitions

This page was built for publication: A new concept of predicative truth and definability

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