A Non-Standard Truth Definition

DOI10.2307/2031969zbMath0056.01204OpenAlexW4248965706MaRDI QIDQ5827963

Robert McNaughton

Publication date: 1954

Full work available at URL: https://doi.org/10.2307/2031969

zbMATH Keywords

Philosophy and foundations of mathematics

Cites Work

• Unnamed Item
• The irreducibility of impredicative principles
• Non-standard models for formal logics
• Completeness in the theory of types
• Truth Definitions and Consistency Proofs
• Models of axiomatic systems
• Some formal relative consistency proofs

This page was built for publication: A Non-Standard Truth Definition