Nonstandard Models and Constructivity

This publication has 3 references indexed in Scilit:

• Cofinal extensions of nonstandard models of arithmetic.
  Notre Dame Journal of Formal Logic, 1981
• First steps in intuitionistic model theory
  The Journal of Symbolic Logic, 1978
• Applications of Kripke models
  Published by Springer Nature ,1973