A Non-Standard Truth Definition

DOI10.2307/2031969MaRDI QIDQ5827963zbMATH OpenOpenAlexFDO

Authors 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

• Completeness in the theory of types
• scientific article; zbMATH DE number 3106607 (Why is no real title available?)
• Models of axiomatic systems
• Non-standard models for formal logics
• Some formal relative consistency proofs
• The irreducibility of impredicative principles
• Truth Definitions and Consistency Proofs

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

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