scientific article; zbMATH DE number 1984527

zbMATH Open1031.03067MaRDI QIDQ4428892FDOQ4428892

Authors: M. Randall Holmes 

Publication date: 22 September 2003

Title of this publication is not available (Why is that?)

Recommendations

• Undefinability of truth and nonstandard models
• Abstraction and definability in semantically closed structures
• Tarski’s Undefinability Theorem and the Diagonal Lemma
• Truth defined
• Tarski's guilty secret: Compositionality

zbMATH Keywords

diagonalization argumentNFUundefinability of truthTarski paradox

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Cited In (2)

• Title not available (Why is that?)
• A fixed point theory over stratified truth

This page was built for publication:

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