A new concept of predicative truth and definability

DOI10.1007/BF01147475zbMATH Open0274.02011MaRDI QIDQ2264656FDOQ2264656

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Systems of predicative analysis
• Hierarchies of number-theoretic predicates

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)