Segments of Natural Numbers and Finite Sequences

  title={Segments of Natural Numbers and Finite Sequences},
  author={Grzegorz Bancerek},
We define the notion of an initial segment of natural numbers and prove a number of their properties. Using this notion we introduce finite sequences, subsequences, the empty sequence, a sequence of a domain, and the operation of concatenation of two sequences. Let us consider n. Let us note that it makes sense to consider the following functor on a restricted area. Then Seg n is set of Nat . 
Highly Influential
This paper has highly influenced 15 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 836 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 610 extracted citations

Morley's Trisector Theorem

Formalized Mathematics • 2015
View 9 Excerpts
Highly Influenced

Properties of Fields

Andrzej Kondracki
View 8 Excerpts
Highly Influenced

Introduction to Diophantine Approximation

Formalized Mathematics • 2015
View 1 Excerpt
Highly Influenced

Mazur-Ulam Theorem

Formalized Mathematics • 2011
View 7 Excerpts
Highly Influenced

836 Citations

Citations per Year
Semantic Scholar estimates that this publication has 836 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-5 of 5 references

Basic properties of real numbers

Krzysztof Hryniewiecki
Formalized Mathematics, • 1990
View 1 Excerpt

Functions and their basic properties

Krzysztof Hryniewiecki
Formalized Mathematics • 1990

Tarski Grothendieck set theory

Andrzej Trybulec
Formalized Mathematics, • 1990
View 1 Excerpt

Świe ‘ czkowska

Zinaida Trybulec, Halina
Boolean properties of sets. Formalized Mathematics, • 1990
View 1 Excerpt

Similar Papers

Loading similar papers…