Switch to: References

Citations of:

Non-standard models and independence of the induction axiom

In Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Essays on the Foundations of Mathematics. Jerusalem,: Magnes Press. pp. 287--299 (1961)

Add citations

You must login to add citations.
  1. A Set Theoretic Approach to the Simple Theory of Types.Michael D. Resnik - 1969 - Theoria 35 (3):239-258.
  • Sub-arithmetical ultrapowers: a survey.Thomas G. McLaughlin - 1990 - Annals of Pure and Applied Logic 49 (2):143-191.
  • Experimental logics and Π3 0 theories.Petr Hájek - 1977 - Journal of Symbolic Logic 42 (4):515-522.