Abstract
This paper is an exposition of the author's [2] investigations of a class of infinitary first order logics. These logics are sometimes characterized by saying that the syntactical role played by the positive integers in first order predicate logic is taken over by a nonstandard model of arithmetic. The result is then called a nonstandard logic.1 In particular the operations of conjunction, disjunction and quantification may be iterated infinitely (nonstandard finitely) often.When the nonstandard model of arithmetic is an ultra power, the natural class of structures in which to interpret the nonstandard wffs is a class of ultra products. Within this framework, many model-theoretic properties of ultra products become manifest in the logical structure of the nonstandard language.
Sign-in/Register to access full text options 
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
