Article contents
A generalization of Specker's theorem on typical ambiguity
Published online by Cambridge University Press: 12 March 2014
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1991
References
REFERENCES
- 4
- Cited by