OBJECTIVES The effect of employment insecurity on employee health is an important public health issue due to the recent effects of neoliberalism and the global financial crisis (2007-2008) on labor markets. This study aims to evaluate the differences in cardiovascular health status and the use of preventive screening services between standard and nonstandard workers. METHODS Waged employees (...

An L{structure is called internally presented in a nonstandard universe if its base set and interpretation of every symbol in L are internal. A nonstandard universe is said to satisfy the {isomorphism property if for any two internally presented L{structures A and B, where L has less than many symbols, A is elementarily equivalent to B implies that A is isomorphic to B. In this paper we prove t...

An introduction of nonstandard analysis in purely algebraic terms is presented. As an application, we give a nonstandard proof of a characterization theorem for compact subsets of Sym(N).

In order to apply nonstandard methods to modern algebraic geometry, as a first step in this paper we study the applications of nonstandard constructions to category theory. It turns out that many categorical properties are well behaved under enlargements.

Let (X,T ) be a topological space, and X a non–standard extension of X . There is a natural “standard” topology T on X generated by G, where G ∈ T . The topological space ( X, T ) will be used to study, in a systematic way, compactifications of (X,T ) . Mathematics Subject Classification: 031105, 54J05, 54D35, 54D60.

A general method is developed by using nonstandard analysis for formulating and proving a theorem about upper Banach density parallel to each theorem about Shnirel'man density or lower asymptotic density. There are many interesting results about Shnirel'man density or lower asymptotic density (see [4, Chapter 1] for example) in additive number theory. There are also a few interesting results ab...

The nonstandard approach to program semantics has successfully resolved the completeness problem of Floyd-Hoare logic. The known versions of nonstandard semantics, the Hungary semantics and axiomatic semantics, are so general that they are absent either from mathematical elegance or from practical usefulness. The aim of this paper is to exhibit a not only mathematically elegant but also practic...