Skip to main content
SpringerLink
Log in

Intuitionistic typical ambiguity

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Boffa, M.: The point on Quine's NF (with a bibliography). TeoriaIV (2), 3–13 (1984)

    Google Scholar 

  2. Bowen, K.A.: Model theory for modal logic. Kripke models for modal predicate calculi, vol. 127 of Synthese Library. Dordrecht, Boston, Lancaster: Reidel 1979

    Google Scholar 

  3. Crabbé, M.: Ambiguity and stratification. Fundam. Math.101, 11–17 (1978)

    Google Scholar 

  4. Crabbé, M.: On NFU. Notre Dame J. Formal Logic (to appear)

  5. Fraenkel, A.A., Bar-Hillel, Y., Levy, A.: Foundation of set theory. Amsterdam, London: North-Holland 1973

    Google Scholar 

  6. Gabbay, D.M.: Model theory for intuitionistic logic. Z. Math. Logik Grundlagen Math.18, 49–54 (1972) (see also Math. Rev. MR 45#4959 for a correction)

    Google Scholar 

  7. Kaye, R.: A generalization of Specker's theorem on typical ambiguity. J. Symb. Logic56(2), 458–466 (1991)

    Google Scholar 

  8. Myhill, J.: Embedding classical type theory in “intuitionistic” type theory. In: Scott, D.S. (ed.) Axiomatic set theory. Proc. Symp. in Pure and Applied Mathematics (University of California, Los Angeles, 1967), vol. XIII, part I, pp 267–270, Providence, R.I., 1971. American Mathematical Society

    Google Scholar 

  9. Myhill, J.: Some properties of intuitionistic Zermelo-Fraenkel set theory. In: Cambridge Summer School in Mathematical Logic. (Lect. Notes Math., vol. 337, pp. 206–231) Berlin Heidelberg New York: Springer 1973

    Google Scholar 

  10. Myhill, J.: Embedding classical type theory in “intuitionistic” type theory: a correction. In: Jech, T. (ed.) Axiomatic set theory. Proc. Symp. in Pure and Applied Mathematics (University of California, Los Angeles, 1967), vol. XIII, part II, pp 185–188, Providence, R.I., 1974. American Mathematical Society

    Google Scholar 

  11. Specker, E.P.: Typical ambiguity. In: Nagel, Suppes, Tarski (eds.) Logic, methodology and philosophy of science. Proc. Int. Congress, Stanford, California, 1960, pp 116–124, Stanford, California, 1962. Stanford University Press

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. INFO, Université Catholique de Louvain, Place Sainte-Barbe 2, B-1348, Louvain-la-Neuve, Belgium

    Daniel Dzierzgowski

Authors
  1. Daniel Dzierzgowski
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Dzierzgowski, D. Intuitionistic typical ambiguity. Arch Math Logic 31, 171–182 (1992). https://doi.org/10.1007/BF01269945

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01269945

Keywords

Search

Navigation