Results 21 to 30 of about 496,419 (187)
Properties of Finitely Supported Self - Mappings on the Finite Powerset of Atoms [PDF]
Computer Science Journal of Moldova, 2021 The theory of finitely supported algebraic structures represents a reformulation of Zermelo-Fraenkel set theory in which every classical structure is replaced by a finitely supported structure according to the action of a group of permutations of ...
Andrei Alexandru
doaj
Mathematics, 2022 The theory of finitely supported structures is used for dealing with very large sets having a certain degree of symmetry. This framework generalizes the classical set theory of Zermelo-Fraenkel by allowing infinitely many basic elements with no internal ...
Andrei Alexandru, Gabriel Ciobanu
doaj +1 more source
Carnap's philosophy of mathematics
Philosophy Compass, Volume 17, Issue 11, November 2022., 2022 Abstract For several decades, Carnap's philosophy of mathematics used to be either dismissed or ignored. It was perceived as a form of linguistic conventionalism and thus taken to rely on the bankrupt notion of truth by convention. However, recent scholarship has revealed a more subtle picture.
Benjamin Marschall
wiley +1 more source
Mechanism Design With Limited Commitment
Econometrica, Volume 90, Issue 4, Page 1463-1500, July 2022., 2022 We develop a tool akin to the revelation principle for dynamic mechanism‐selection games in which the designer can only commit to short‐term mechanisms. We identify a canonical class of mechanisms rich enough to replicate the outcomes of any equilibrium in a mechanism‐selection game between an uninformed designer and a privately informed agent.
Laura Doval, Vasiliki Skreta
wiley +1 more source
Towards a constructive simplicial model of Univalent Foundations
Journal of the London Mathematical Society, Volume 105, Issue 2, Page 1073-1109, March 2022., 2022 Abstract We provide a partial solution to the problem of defining a constructive version of Voevodsky's simplicial model of Univalent Foundations. For this, we prove constructive counterparts of the necessary results of simplicial homotopy theory, building on the constructive version of the Kan‐Quillen model structure established by the second‐named ...
Nicola Gambino, Simon Henry
wiley +1 more source
Solutions of Extension and Limits of Some Cantorian Paradoxes
Mathematics, 2020 Cantor thought of the principles of set theory or intuitive principles as universal forms that can apply to any actual or possible totality. This is something, however, which need not be accepted if there are totalities which have a fundamental ...
Josué-Antonio Nescolarde-Selva +4 more
doaj +1 more source
Axioms, 2021 It is well known that Zermelo-Fraenkel Set Theory (ZF), despite its usefulness as a foundational theory for mathematics, has two unwanted features: it cannot be written down explicitly due to its infinitely many axioms, and it has a countable model due ...
Marcoen J. T. F. Cabbolet
doaj +1 more source
Mobile Information Systems, Volume 2022, Issue 1, 2022., 2022 The IoT refers to the linking of items to a network through message‐generating devices; in the connection process, communication and information circulation are carried out through the information dissemination medium to realize intelligent identification, tracking, supervision, and other functions.
Hongmei Xun +3 more
wiley +1 more source
Theoria, Volume 87, Issue 4, Page 986-1000, August 2021., 2021 Abstract Informally speaking, the categoricity of an axiom system means that its non‐logical symbols have only one possible interpretation that renders the axioms true. Although non‐categoricity has become ubiquitous in the second half of the twentieth century whether one looks at number theory, geometry or analysis, the first axiomatizations of such ...
Jouko Väänänen
wiley +1 more source
An Overview of Saharon Shelah's Contributions to Mathematical Logic, in Particular to Model Theory
Theoria, Volume 87, Issue 2, Page 349-360, April 2021., 2021 Abstract I will give a brief overview of Saharon Shelah's work in mathematical logic. I will focus on three transformative contributions Shelah has made: stability theory, proper forcing and PCF theory. The first is in model theory and the other two are in set theory.
Jouko Väänänen
wiley +1 more source