Publisher： Cambridge University Press
E-ISSN： 1943-5886|56|2|458-466
ISSN： 0022-4812
Source： The Journal of Symbolic Logic, Vol.56, Iss.2, 1991-06, pp. : 458-466
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
We generalize Specker's theorem on typical ambiguity, that NF and TST + Ambiguity have the same stratified consequences, to the subschemes Amb(Γ) of ambiguity restricted to classes of sentences Γ with certain natural closure conditions.
Related content
Typical ambiguity and the axiom of choice
The Journal of Symbolic Logic, Vol. 49, Iss. 4, 1984-12 ,pp. :
Access to resources
Recommend
The Specker-Blatter theorem does not hold for quaternary relations
By Fischer E.
Journal of Combinatorial Theory, Series A, Vol. 103, Iss. 1, 2003-07 ,pp. :
Generalization of the Gale-Ryser Theorem
European Journal of Combinatorics, Vol. 21, Iss. 8, 2000-11 ,pp. :
A Generalization of a Theorem of Birch
By Leep David
Communications in Algebra, Vol. 37, Iss. 8, 2009-08 ,pp. :
A Generalization of Lie's Theorem
Communications in Algebra, Vol. 42, Iss. 10, 2014-10 ,pp. :