Generic existence of ultrafilters on the natural numbers

2017 ◽  
Vol 236 (3) ◽  
pp. 201-245 ◽  
Author(s):  
Jörg Brendle ◽  
Jana Flašková
Keyword(s):  
Natural Numbers ◽  
Generic Existence

Ultrafilters on the natural numbers

2003 ◽  
Vol 68 (3) ◽  
pp. 764-784 ◽  
Author(s):  
Christopher Barney
Keyword(s):  
Partial Characterization ◽  
Natural Numbers ◽  
Cardinal Invariant ◽  
Compact Closure ◽  
Cardinal Invariants ◽  
The Core ◽  
Generic Existence ◽  
Invariant Equality ◽  
The Continuum

AbstractWe study the problem of existence and generic existence of ultrafilters on ω. We prove a conjecture of Jörg Brendle's showing that there is an ultrafilter that is countably closed but is not an ordinal ultrafilter under CH. We also show that Canjar's previous partial characterization of the generic existence of Q-points is the best that can be done. More simply put, there is no normal cardinal invariant equality that fully characterizes the generic existence of Q-points. We then sharpen results on generic existence with the introduction of σ-compact ultrafilters. We show that the generic existence of said ultrafilters is equivalent to . This result, taken along with our result that there exists a Kσ, non-countably closed ultrafilter under CH, expands the size of the class of ultrafilters that were known to fit this description before. From the core of the proof, we get a new result on the cardinal invariants of the continuum, i.e., the cofinality of the sets with σ-compact closure is .

The Argument from (Natural) Numbers

2018 ◽  
Author(s):  
Tyron Goldschmidt
Keyword(s):  
Natural Numbers ◽  
Existence Of God ◽  
Divine Attribute ◽  
Rule Out

This chapter considers Plantinga’s argument from numbers for the existence of God. Plantinga sees divine psychologism as having advantages over both human psychologism and Platonism. The chapter begins with Plantinga’s description of the argument, including the relation of numbers to any divine attribute. It then argues that human psychologism can be ruled out completely. However, what rules it out might rule out divine psychologism too. It also argues that the main problem with Platonism might also be a problem with divine psychologism. However, it will, at the least, be less of a problem. In any case, there are alternative, possibly viable views about the nature of numbers that have not been touched by Plantinga’s argument. In addition, the chapter touches on the argument from properties, and its relation to the argument from numbers.

The Natural Numbers

2018 ◽  
Author(s):  
Øystein Linnebo
Keyword(s):  
Natural Number ◽  
Peano Arithmetic ◽  
Number Sequence ◽  
Natural Numbers ◽  
Ordinal Numbers ◽  
Cardinal Numbers

How are the natural numbers individuated? That is, what is our most basic way of singling out a natural number for reference in language or in thought? According to Frege and many of his followers, the natural numbers are cardinal numbers, individuated by the cardinalities of the collections that they number. Another answer regards the natural numbers as ordinal numbers, individuated by their positions in the natural number sequence. Some reasons to favor the second answer are presented. This answer is therefore developed in more detail, involving a form of abstraction on numerals. Based on this answer, a justification for the axioms of Dedekind–Peano arithmetic is developed.

Asymptotics with remainder term for moments of the total cycle number of random A-permutation

2021 ◽  
Vol 31 (1) ◽  
pp. 51-60
Author(s):  
Arsen L. Yakymiv
Keyword(s):  
Remainder Term ◽  
Random Permutation ◽  
Natural Numbers ◽  
Cycle Number ◽  
Fixed Set ◽  
Cycle Lengths

Abstract Dedicated to the memory of Alexander Ivanovich Pavlov. We consider the set of n-permutations with cycle lengths belonging to some fixed set A of natural numbers (so-called A-permutations). Let random permutation τ n be uniformly distributed on this set. For some class of sets A we find the asymptotics with remainder term for moments of total cycle number of τ n .

Ideal convergent sequence spaces of fuzzy star–shaped numbers

2021 ◽  
pp. 1-8
Author(s):  
Vakeel A. Khan ◽  
Umme Tuba ◽  
SK. Ashadul Rahama ◽  
Ayaz Ahmad
Keyword(s):  
Fuzzy Sets ◽  
Convergent Sequence ◽  
Sequence Spaces ◽  
Topological Properties ◽  
Natural Numbers

In 1990, Diamond [16] primarily established the base of fuzzy star–shaped sets, an extension of fuzzy sets and numerous of its properties. In this paper, we aim to generalize the convergence induced by an ideal defined on natural numbers ℕ , introduce new sequence spaces of fuzzy star–shaped numbers in ℝ n and examine various algebraic and topological properties of the new corresponding spaces as well. In support of our results, we provide several examples of these new resulting sequences.

scholarly journals k-Zumkeller labeling of super subdivision of some graphs

2021 ◽  
Vol 29 (1) ◽  
Author(s):  
M. Basher
Keyword(s):  
Simple Graph ◽  
Natural Numbers ◽  
Injective Function ◽  
Planar Grid ◽  
Circular Ladder

AbstractA simple graph $$G=(V,E)$$ G = ( V , E ) is said to be k-Zumkeller graph if there is an injective function f from the vertices of G to the natural numbers N such that when each edge $$xy\in E$$ x y ∈ E is assigned the label f(x)f(y), the resulting edge labels are k distinct Zumkeller numbers. In this paper, we show that the super subdivision of path, cycle, comb, ladder, crown, circular ladder, planar grid and prism are k-Zumkeller graphs.

PAL – Propositional Algorithmic Logic

1981 ◽  
Vol 4 (3) ◽  
pp. 675-760
Author(s):  
Grażyna Mirkowska
Keyword(s):  
Data Structures ◽  
Completeness Theorem ◽  
Natural Numbers ◽  
First Order ◽  
Algorithmic Logic ◽  
Axiomatic Systems ◽  
Nondeterministic Program ◽  
Basic Sets

The aim of propositional algorithmic logic is to investigate the properties of program connectives. Complete axiomatic systems for deterministic as well as for nondeterministic interpretations of program variables are presented. They constitute basic sets of tools useful in the practice of proving the properties of program schemes. Propositional theories of data structures, e.g. the arithmetic of natural numbers and stacks, are constructed. This shows that in many aspects PAL is close to first-order algorithmic logic. Tautologies of PAL become tautologies of algorithmic logic after replacing program variables by programs and propositional variables by formulas. Another corollary to the completeness theorem asserts that it is possible to eliminate nondeterministic program variables and replace them by schemes with deterministic atoms.

Sign in / Sign up

Export Citation Format

Share Document