Results 121 to 130 of about 2,208 (163)

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

Journal of Symbolic Logic (JSL), 1992
A. Tzouvaras
semanticscholar   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

NON-CLASSICAL FOUNDATIONS OF SET THEORY

Journal of Symbolic Logic (JSL), 2021
In this paper, we use algebra-valued models to study cardinal numbers in a class of non-classical set theories. The algebra-valued models of these non-classical set theories validate the Axiom of Choice, if the ground model validates it.
Sourav Tarafder
semanticscholar   +1 more source

Inter-universal Teichmüller Theory IV: Log-Volume Computations and Set-Theoretic Foundations

, 2021
The present paper forms the fourth and final paper in a series of papers concerning “inter-universal Teichmüller theory”. In the first three papers of the series, we introduced and studied the theory surrounding the logtheta-lattice, a highly non ...
S. Mochizuki
semanticscholar   +1 more source

MARSHAL: Multiple-Attribute Regret Theory and Semantically Aware Probabilistic Weights Based Hesitant Linguistic Decision-Making

IEEE transactions on fuzzy systems
With ever-increasing abundance of text data, decision-making problems are becoming more complex. Such complexity is often a consequence of nuanced input linguistic information, which is already highly uncertain and subjective.
Taniya Seth, Pranab K. Muhuri
semanticscholar   +1 more source

Models of Set Theory

Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic, 2020
Stefan Geschke
semanticscholar   +1 more source

Second order arithmetic as the model companion of set theory

, 2022
Giorgio Venturi, Matteo Viale
openalex   +1 more source

The Arithmetic Optimization Algorithm

Computer Methods in Applied Mechanics and Engineering, 2021
Laith Mohammad Abualigah, Ali H Diabat, Seyedali Mirjalili   +2 more
exaly  

Models of arithmetic and closed ideals

Journal of Symbolic Logic (JSL), 1982
J. Knight, M. Nadel
semanticscholar   +1 more source

MXene Ti3C2 memristor for neuromorphic behavior and decimal arithmetic operation applications

Nano Energy, 2021
Jingsheng Chen, Xiaobing Yan
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.

, 1963
J. C. Shepherdson
openalex   +1 more source