A generalization of Specker's theorem on typical ambiguity

Journal of Symbolic Logic 56 (2):458-466 (1991)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.2307/2274693

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,865

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Typical ambiguity and elementary equivalence.Daniel Dzierzgowski - 1993 - Mathematical Logic Quarterly 39 (1):436-446.
Typical ambiguity and the axiom of choice.Marcel Crabbé - 1984 - Journal of Symbolic Logic 49 (4):1074-1078.
Typical ambiguity: Trying to have your cake and eat it too.Solomon Feferman - manuscript
Typical Ambiguity.Ernst P. Specker - 1962 - In Ernest Nagel (ed.), Logic, methodology, and philosophy of science. Stanford, Calif.,: Stanford University Press. pp. 116--23.
Intuitionistic typical ambiguity.Daniel Dzierzgowski - 1992 - Archive for Mathematical Logic 31 (3):171-182.
Nash Equilibrium with Lower Probabilities.Ebbe Groes, Hans Jørgen Jacobsen, Birgitte Sloth & Torben Tranaes - 1998 - Theory and Decision 44 (1):37-66.
Strong Ambiguity.Panagiotis Rouvelas - 2022 - Mathematical Logic Quarterly 68 (1):110-117.
On formal ambiguity.Karel L. de Bouvere - 1968 - In P. Braffort & F. van Scheepen (eds.), Automation in language translation and theorem proving. Brussels,: Commission of the European Communities, Directorate-General for Dissemination of Information.
Reduction of arithmetic to logic based on the theory of types without the axiom of infinity and the typical ambiguity of arithmetical constants.Ludwik Borkowski - 1958 - Studia Logica 8 (1):283 - 297.
Weak typed Böhm theorem on IMLL.Satoshi Matsuoka - 2007 - Annals of Pure and Applied Logic 145 (1):37-90.

Analytics

Added to PP
2009-01-28

Downloads
79 (#264,682)

6 months
5 (#1,037,427)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Decreasing sentences in Simple Type Theory.Panagiotis Rouvelas - 2017 - Mathematical Logic Quarterly 63 (5):342-363.
Intuitionistic typical ambiguity.Daniel Dzierzgowski - 1992 - Archive for Mathematical Logic 31 (3):171-182.
Increasing sentences in Simple Type Theory.Panagiotis Rouvelas - 2017 - Annals of Pure and Applied Logic 168 (10):1902-1926.

Add more citations

References found in this work

Typical Ambiguity.Ernst P. Specker - 1962 - In Ernest Nagel (ed.), Logic, methodology, and philosophy of science. Stanford, Calif.,: Stanford University Press. pp. 116--23.

Add more references