Abstraction and definability in semantically closed structures

DOI10.1007/BF00249366zbMath0606.03005OpenAlexW1994123669MaRDI QIDQ1084389

Timothy G. McCarthy

Publication date: 1985

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00249366

zbMATH Keywords

undefinability of truthdefinability of sets in the set theory based on Kripke's systemKripke's three-valued logic

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Many-valued logic (03B50)

Related Items (1)

The strong completeness of a system based on Kleene's strong three-valued logic

This page was built for publication: Abstraction and definability in semantically closed structures