Abstract
It is known that IST (internal set theory) is a conservative extension of ZFC (Zermelo-Fraenkel set theory with the axiom of choice); see for example the appendix to [2] for a proof using ultrapowers and ultralimits. But these semantic constructions leave one wondering what actually makes the theory work—what are the inner mechanisms of Abraham Robinson’s new logic. Let us examine the question syntactically.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
