A generalization of Specker's theorem on typical ambiguity

DOI10.2307/2274693zbMath0736.03019OpenAlexW2037089644MaRDI QIDQ3984422

Richard W. Kaye

Publication date: 27 June 1992

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

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

zbMATH Keywords

stratificationNFTSTtypical ambiguity

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Related Items (3)

Increasing sentences in simple type theory ⋮ Decreasing sentences in Simple Type Theory ⋮ Intuitionistic typical ambiguity

This page was built for publication: A generalization of Specker's theorem on typical ambiguity