Results 161 to 170 of about 590 (188)

On recursively enumerable and arithmetic models of set theory

Journal of Symbolic Logic, 1958
In this note we shall prove a certain relative recursiveness lemma concerning countable models of set theory (Lemma 5). From this lemma will follow two results about special types of such models.Kreisel [5] and Mostowski [6] have shown that certain (finitely axiomatized) systems of set theory, formulated by means of the ϵ relation and certain ...
openaire   +1 more source

Nonstandard Models of Arithmetic and Set Theory

, 2004
Enayat, Ali, Kossak, Roman
openaire   +2 more sources

Minimal elementary extensions of models of set theory and arithmetic

Archive for Mathematical Logic, 1990
We discuss minimal elementary extensions of models of set theory and contrast the behavior of models of set theory and arithmetic as regarding such extensions. Our main result, proved using a Boolean ultrapower argument, is:
openaire   +1 more source

On expandability of models of Peano arithmetic to models of the alternative set theory

Journal of Symbolic Logic, 1992
AbstractWe give a sufficient condition for a countable model M of PA to be expandable to an ω-model of AST with absolute Ω-orderings. The condition is in terms of saturation schemes or, equivalently, in terms of the ability of the model to code sequences which have some kind of definition in (M, ω). We also show that a weaker scheme of saturation leads
openaire   +2 more sources

Extended Arithmetic Reduction of Age Models for the Failure Process of a Repairable System

Reliability Engineering and System Safety, 2021
A Syamsundar, Shaomin Wu
exaly  

Using arbitrary precision arithmetic to sharpen identification analysis for DSGE models

Journal of Applied Econometrics, 2023
Zhongjun Qu, Denis Tkachenko
exaly  

L. A. S. Kirby and J. B. Paris. Initial segments of models of Peano's axioms. Set theory and hierarchy theory V, Bierutowice, Poland 1976, edited by A. Lachlan, M. Srebrny, and A. Zarach, Lecture notes in mathematics, vol. 619, Springer-Verlag, Berlin, Heidelberg, and New York, 1977, pp. 211–226. - J. B. Paris. Some independence results for Peano arithmetic. The journal of symbolic logic, vol. 43 no. 4 (for 1978, pub. 1979), pp. 725–731.

Journal of Symbolic Logic, 1983
openaire   +1 more source

Uncertainty assessment of hydrological models with fuzzy extension principle: Evaluation of a new arithmetic operator

Water Resources Research, 2014
Mohsen Nasseri, Banafsheh Zahraie
exaly