Hostname: page-component-7bb8b95d7b-5mhkq Total loading time: 0 Render date: 2024-09-06T02:41:03.010Z Has data issue: false hasContentIssue false
  • English
  • Français

A generalization of Specker's theorem on typical ambiguity

Published online by Cambridge University Press:  12 March 2014

Richard Kaye
Richard Kaye*
Affiliation:
Jesus College, Oxford 0X1 3DW, England
Get access Rights & Permissions [Opens in a new window]

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
The Journal of Symbolic Logic , Volume 56 , Issue 2 , June 1991 , pp. 458 - 466
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. 11–17.CrossRefGoogle Scholar
Specker, E. [1962], Typical ambiguity, Logic, methodology and philosophy of science (Nagel, E.et al., editors), Stanford University Press, Stanford, California, pp. 116–124.Google Scholar