Nonstandard models of electrical-electronics circuits with instantaneous on/off switching are proposed. Nonstandard analysis allows to ground new approaches of circuits models development when their analyses need only partial qualitative study as well bring out the calculation algorithm.

OBJECTIVES Our prospective study aimed to elucidate the effect of long-term experience of nonstandard employment status on the incidence of depression in elderly population using the Korean Longitudinal Study of Ageing (KLoSA) study. METHODS This study used the first- to fourth-wave cohorts of KLoSA. After the exclusion of the unemployed and participants who experienced a change in employment...

The conceptual gulf between constructive analysis (in the sense of Bishop [1]) and nonstandard analysis (in the sense of Robinson [7]) is vast, despite the historical genesis of both methodologies from foundational considerations. Those who use nonstandard arguments often say of their proofs that they are “constructive modulo an ultrafilter”; implicit in this statement is the suggestion that su...

Mixed logic-systems contain both standard and nonstandard coordinate values. In this paper, it is shown that each of the specifically defined mixed logic-systems generates an internal nonstandard conse-

In the present work we approach the study of surfaces using Nonstandard Analysis, by providing first a nonstandard characterization of a surface. Further, the tangent space to a surface is defined as well. M.S.C. 2000: 26E35, 53A05, 53A07.

Mixed logic-systems contain both standard and nonstandard coordinate values. In this paper, it is shown that each of the specifically defined mixed logic-systems generates an internal nonstandard conse-

Using a slight generalization, due to Palmgren, of sheaf semantics, we present a term-model construction that assigns a model to any first-order intuitionistic theory. A modification of this construction then assigns a nonstandard model to any theory of arithmetic, enabling us to reproduce conservation results of Moerdijk and Palmgren for nonstandard Heyting arithmetic. Internalizing the constr...