Advertisement

Intuitionistic theories and toposes

  • Tadahiro Uesu
Conference paper
Part of the Lecture Notes in Mathematics book series (LNM, volume 891)

Keywords

Completeness Theorem Finite Product Follow Diagram Commute Empty String Unique Morphism 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [B&J]
    A. Boileau and A. Joyal, La Logique des Topos, J. Symbolic Logic, 46 (1981), pp. 6–16.MathSciNetCrossRefzbMATHGoogle Scholar
  2. [C & K]
    C.C. Chang and H.J. Keisler, Model Theory, Studies in Logics and the Foundations of Mathematics, 73 (1973) (North-Holland, Amsterdam).zbMATHGoogle Scholar
  3. [C]
    M. Coste, Langage interne d'um Topos, Seminaire Bénabou, Université Paris-Nord (1972).Google Scholar
  4. [F]
    M.P. Fourman, The Logic of Topoi, in: Handbook of Mathematical Logic, edited by J. Barwise, Studies in Logic and the Foundations of Mathematics, 90 (1977) (North-Holland, Amsterdam) pp. 1053–1090.CrossRefGoogle Scholar
  5. [J]
    P.T. Johnstone, Topos Theory, (1977) (Academic Press).Google Scholar
  6. [L]
    F.W. Lawvere, Functional Semantics of Algebraic Theories, Proc. Nat. Acad. Sci. USA, 50 (1963), pp. 869–872.MathSciNetCrossRefzbMATHGoogle Scholar
  7. [M]
    W. Mitchell, Boolean topoi and the theory of sets, J. Pure and Applied Algebra, 2 (1972), pp. 261–274.MathSciNetCrossRefzbMATHGoogle Scholar
  8. [O]
    G. Osius, Logical and Set Theoretical Tools in Elementary Topoi, in: Model Theory and Topoi, Springer Lecture Notes in Math., 445 (1975), pp. 297–346.Google Scholar
  9. [Sc]
    D.S. Scott, Continuous Lattices, in: Toposes, Algebraic Geometry and Logic, Springer Lecture Notes in Math., 274 (1971).Google Scholar
  10. [Sh]
    J.R. Shoenfield, Mathematical Logic, (1967) (Addison-Wesley).Google Scholar
  11. [T]
    G. Takeuti, On a Generalized Logic Calculus, Japan J. Math., 23 (1953), pp. 39–96.MathSciNetzbMATHGoogle Scholar

Copyright information

© Springer-Verlag 1981

Authors and Affiliations

  • Tadahiro Uesu

There are no affiliations available

Personalised recommendations