Results 281 to 290 of about 33,998 (313)
Some of the next articles are maybe not open access.
The Journal of Symbolic Logic, 2015
AbstractThe resurrection axioms are forms of forcing axioms that were introduced recently by Hamkins and Johnstone, who developed on earlier ideas of Chalons and Veličković. In this note, we introduce a stronger form of resurrection (which we callunboundedresurrection) and show that it gives rise to families of axioms which are consistent relative to ...
openaire +2 more sources
AbstractThe resurrection axioms are forms of forcing axioms that were introduced recently by Hamkins and Johnstone, who developed on earlier ideas of Chalons and Veličković. In this note, we introduce a stronger form of resurrection (which we callunboundedresurrection) and show that it gives rise to families of axioms which are consistent relative to ...
openaire +2 more sources
The equivalence of Axiom (∗)+ and Axiom (∗)++
Journal of Mathematical LogicAsperó and Schindler have completely solved the Axiom [Formula: see text] vs. [Formula: see text] problem. They have proved that if [Formula: see text] holds then Axiom [Formula: see text] holds, with no additional assumptions. The key question now concerns the relationship between [Formula: see text] and Axiom [Formula: see text].
openaire +1 more source
Philosophia Mathematica, 1998
The author discusses various topics such as: the transition from informal concepts to mathematically precise notions (on the examples of natural numbers, continuous functions, area, distribution, recursiveness, random sequences, choice sequences (which receive most of the author's attention), infinitesimals). The paper ends with a discussion of various
openaire +3 more sources
The author discusses various topics such as: the transition from informal concepts to mathematically precise notions (on the examples of natural numbers, continuous functions, area, distribution, recursiveness, random sequences, choice sequences (which receive most of the author's attention), infinitesimals). The paper ends with a discussion of various
openaire +3 more sources
The American Mathematical Monthly, 1975
hItroduction. During the past decade, many new axioms of set theory have appeared. The principal object of these axioms is to settle important problems which cannot be settled without new axioms. Thus Godel and Cohen have shown that the Continuum Hypothesis cannot be settled on the basis of the presently accepted axioms; so it is natural to look for ...
openaire +2 more sources
hItroduction. During the past decade, many new axioms of set theory have appeared. The principal object of these axioms is to settle important problems which cannot be settled without new axioms. Thus Godel and Cohen have shown that the Continuum Hypothesis cannot be settled on the basis of the presently accepted axioms; so it is natural to look for ...
openaire +2 more sources
Journal of Philosophical Logic, 1984
In this paper I present the model-theoretic semantics for modal languages with an actuality operator; I axiomatize the valid and the strongly valid formulae of any such language. I then prove that certain conditions on modal models which are easily expressed using quantification over possibilia cannot be expressed in quantified modal languages ...
openaire +1 more source
In this paper I present the model-theoretic semantics for modal languages with an actuality operator; I axiomatize the valid and the strongly valid formulae of any such language. I then prove that certain conditions on modal models which are easily expressed using quantification over possibilia cannot be expressed in quantified modal languages ...
openaire +1 more source
Journal of Knot Theory and Its Ramifications, 2006
We prove that the two conditions from the definition of a biquandle by Fenn, Jordan-Santana, Kauffman [1] are equivalent and thus answer a question posed in the paper. We also construct a weak biquandle, which is not a biquandle.
openaire +2 more sources
We prove that the two conditions from the definition of a biquandle by Fenn, Jordan-Santana, Kauffman [1] are equivalent and thus answer a question posed in the paper. We also construct a weak biquandle, which is not a biquandle.
openaire +2 more sources
Archive for Mathematical Logic, 2009
In this paper, we study the union axiom of ZFC. After a brief introduction, we sketch a proof of the folklore result that union is independent of the other axioms of ZFC. In the third section, we prove some results in the theory T:= ZFC minus union. Finally, we show that the consistency of T plus the existence of an inaccessible cardinal proves the ...
openaire +1 more source
In this paper, we study the union axiom of ZFC. After a brief introduction, we sketch a proof of the folklore result that union is independent of the other axioms of ZFC. In the third section, we prove some results in the theory T:= ZFC minus union. Finally, we show that the consistency of T plus the existence of an inaccessible cardinal proves the ...
openaire +1 more source
1977
Before reading this chapter, the reader should go back and reread Sections 2.2 and 2.3 of Chapter 2, where we developed the concept of the set-theoretic hierarchy, 〉Vα ∣ α ∈ On〉.
openaire +1 more source
Before reading this chapter, the reader should go back and reread Sections 2.2 and 2.3 of Chapter 2, where we developed the concept of the set-theoretic hierarchy, 〉Vα ∣ α ∈ On〉.
openaire +1 more source
Developing a group decision support system based on fuzzy information axiom
Knowledge-Based Systems, 2010Selcuk CEBİ, Cengiz Kahraman
exaly