Results 191 to 200 of about 235,200 (216)

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

An enhanced hybrid arithmetic optimization algorithm for engineering applications

Computer Methods in Applied Mechanics and Engineering, 2022
Gang Hu, Guo Wei
exaly  

An Electric Fish-Based Arithmetic Optimization Algorithm for Feature Selection

Entropy, 2021
Rehab Ali, Laith Mohammad Abualigah, Ahmed A Ewees   +2 more
exaly  

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  

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

A Brief Analysis and Interpretation on Arithmetic Operations of Fuzzy Numbers

Results in Control and Optimization, 2023
Kamal Hossain Gazi, Sankar Prasad Mondal
exaly  

Michael O. Rabin. On recursively enumerable and arithmetic models of set theory. The Journal of symbolic logic, vol. 23 no. 4 (for 1958, pub. 1959), pp. 408–416.

Journal of Symbolic Logic, 1963
openaire   +1 more source

Nonstandard Models of Arithmetic and Set Theory

2004
openaire   +1 more source