Hostname: page-component-cd9895bd7-jn8rn Total loading time: 0 Render date: 2024-12-25T19:35:53.198Z Has data issue: false hasContentIssue false

A generalization of Specker's theorem on typical ambiguity

Published online by Cambridge University Press:  12 March 2014

Richard Kaye*
Affiliation:
Jesus College, Oxford 0X1 3DW, England

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
Copyright
Copyright © Association for Symbolic Logic 1991

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

Crabbé, M. [1978], Ambiguity and stratification, Fundamenta Mathematicae, vol. 101, pp. 1117.CrossRefGoogle Scholar
Specker, E. [1962], Typical ambiguity, Logic, methodology and philosophy of science (Nagel, E.et al., editors), Stanford University Press, Stanford, California, pp. 116124.Google Scholar