Results 271 to 280 of about 6,651,187 (298)
Some of the next articles are maybe not open access.
The special model axiom in nonstandard analysis
Journal of Symbolic Logic, 1990κ-saturation [SL] is probably the single most useful property of nonstandard models of analysis. For some applications, however, stronger saturation hypotheses seem necessary. Henson formulated his elegant κ-isomorphism property (see [H1], and §2 below) to address this need. This property, though well-suited to certain situations (notably those arising
openaire +2 more sources
Nonstandard Models and Constructivity
1982Publisher Summary This chapter reviews an instance of constructivization. Constructive mathematics is the legacy of Brouwer's philosophy, and the relation between constructive and nonconstructive mathematics is the legacy of Hilbert's programme. The best general-purpose conservation result relating classical and intuitionistic systems of mathematics ...
openaire +1 more source
Physics Letters A, 1989
Abstract The usual FRW hot big-bang cosmologies have been generalized by considering the equation of state ϱ=Anm+(γ−1)-1p, where m is the rest mass of the fluid particles and A is a dimensionless constant. Explicit analytic solutions are given for the flat case (ϵ=0).
M.O. Calvão, J.A.S. Lima
openaire +1 more source
Abstract The usual FRW hot big-bang cosmologies have been generalized by considering the equation of state ϱ=Anm+(γ−1)-1p, where m is the rest mass of the fluid particles and A is a dimensionless constant. Explicit analytic solutions are given for the flat case (ϵ=0).
M.O. Calvão, J.A.S. Lima
openaire +1 more source
On some uses of nonstandard models
Fundam. Informaticae, 2007The author asks whether one can learn anything about classical mathematics by studying nonstandard models. And he shows that the answer is yes. He starts by giving such a proof of Ryll-Nardzewski's theorem stating that Peano arithmetic is not finitely axiomatizable.
openaire +2 more sources
Kinematics with Nonstandard Cable Models
2018In this chapter, we deal with the extension of the standard kinematic model by taking realistic assumptions for the cables into account. The modeling of nontrivial winch kinematics with guiding pulleys is addressed in Sect. 7.2. The consideration of cable mass leads to sagging (Sect. 7.3) and the finite stiffness of the cables causes elastic effects in
openaire +1 more source
Nonstandard Models for a Fragment of the Arithmetic and Their Decision Problem
Mathematical Logic Quarterly, 1987In my thesis [see Bonner Math. Schriften 61 (1973; Zbl 0279.02039)] I have introduced the theory of Very Weak Induction for open formulae VWIO, which differs from WIO (AIO) studied by \textit{J. C. Shepherdson} [Bull. Acad. Pol. Sci., Ser. Sci. Math. Astron. Phys.
openaire +3 more sources
Standard and Nonstandard Log-Linear Symmetry Models for Measuring Change in Categorical Variables
American Statistician, 1996Alexander von Eye, Christiane Spiel
exaly
A nonstandard numerical scheme of predictor–corrector type for epidemic models
Computers and Mathematics With Applications, 2010Gilberto González-Parra +2 more
exaly