Results 1 to 10 of about 590 (188)
Does Set Theory Really Ground Arithmetic Truth?
Axioms, 2022 We consider the foundational relation between arithmetic and set theory. Our goal is to criticize the construction of standard arithmetic models as providing grounds for arithmetic truth. Our method is to emphasize the incomplete picture of both theories
Alfredo Roque Freire
doaj +2 more sources
Vopěnkova Alternativní teorie množin v matematickém kánonu 20. století
Filosofický časopis, 2022 Vopěnka’s Alternative Set Theory can be viewed both as an evolution and as a revolution: it is based on his previous experience with nonstandard universes, inspired by Skolem’s construction of a nonstandard model of arithmetic, and its inception has been
Haniková, Zuzana
doaj +2 more sources
An Interval Approach for Robust Parameterization of Controllers for Electric Drives
Machines, 2022 Uncertain models, e.g., due to component variations and measurement errors during system identification, in combination with the desire to be able to provide guarantees regarding system performances a priori, represent major challenges for users when ...
Philipp Schäfer, Stefan Krebs
doaj +1 more source
Energies, 2023 The increased share of variable renewable energy sources such as wind and solar power poses constraints on the stability of the grid and the security of supply due to the imbalance between electricity production and demand. Chemical storage or power-to-X
Ward Suijs, Sebastian Verhelst
doaj +1 more source
Discrete Analysis, 2023 New lower bounds for cap sets, Discrete Analysis 2023:20, 18 pp. One of the best known problems in additive combinatorics, the cap set problem, asks how large a subset of $\mathbb F_3^n$ can be if it contains no non-trivial solutions to the equation $x ...
Fred Tyrrell
doaj +1 more source
Computable Quotient Presentations of Models of Arithmetic and Set Theory [PDF]
, 2017 We prove various extensions of the Tennenbaum phenomenon to the case of computable quotient presentations of models of arithmetic and set theory. Specifically, no nonstandard model of arithmetic has a computable quotient presentation by a c.e. equivalence relation. No $Σ_1$-sound nonstandard model of arithmetic has a computable quotient presentation by
Michal Tomasz Godziszewski +1 more
openaire +2 more sources
On highly equivalent non-isomorphic countable models of arithmetic and set theory
, 2022 It is well-known that the first order Peano axioms PA have a continuum of non-isomorphic countable models. The question, how close to being isomorphic such countable models can be, seems to be less investigated. A measure of closeness to isomorphism of countable models is the length of back-and-forth sequences that can be established between them.
Hyttinen, Tapani, Väänänen, Jouko
openaire +2 more sources
Ratio Mathematica, 2016 In practical applications relating to business and management sciences, there are many variables that, for their own nature, are better described by a pair of ordered values (i.e. financial data).
Fabrizio Maturo
doaj +1 more source
A Stochastic Computational Approach for the Analysis of Fuzzy Systems
IEEE Access, 2017 Fault tree analysis (FTA) has been widely utilized as a reliability evaluation technique for complex systems, such as nuclear power plants and aerospace systems. However, it is hard to obtain the crisp failure probabilities of basic events, owning to the
Xiaogang Song +3 more
doaj +1 more source
Undefinable classes and definable elements in models of set theory and arithmetic [PDF]
Proceedings of the American Mathematical Society, 1988 Every countable model M {\mathbf {M}}
openaire +1 more source