# Segments of Natural Numbers and Finite Sequences

@inproceedings{Bancerek1990SegmentsON, title={Segments of Natural Numbers and Finite Sequences}, author={Grzegorz Bancerek}, year={1990} }

- Published 1990

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 .Â

#### From This Paper

##### Topics from this paper.

#### Citations

##### Publications citing this paper.

Showing 1-10 of 610 extracted citations

## Morley's Trisector Theorem

View 9 Excerpts

Highly Influenced

## Conservation Rules of Direct Sum Decomposition of Groups

View 10 Excerpts

Highly Influenced

## Issue : 25 years of the Mizar Mathematical Library

View 6 Excerpts

Highly Influenced

## Properties of Fields

View 8 Excerpts

Highly Influenced

## Introduction to Diophantine Approximation

View 1 Excerpt

Highly Influenced

## Mazur-Ulam Theorem

View 7 Excerpts

Highly Influenced

## Several Differentiation Formulas of Special Functions

View 5 Excerpts

Highly Influenced

## Properties of First and Second Order Cutting of Binary Relations

View 5 Excerpts

Highly Influenced

## Set Sequences and Monotone Class

View 9 Excerpts

Highly Influenced

## Solving Roots of Polynomial Equation of Degree 2 and 3 with Complex Coefficients

View 7 Excerpts

Highly Influenced

#### Citation Statistics

#### 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.

#### References

##### Publications referenced by this paper.

Showing 1-5 of 5 references

## Basic properties of real numbers

View 1 Excerpt

## Functions and their basic properties

## Tarski Grothendieck set theory

View 1 Excerpt

## Åšwie â€˜ czkowska

View 1 Excerpt

## The Fundamental Properties of Natural Numbers

View 1 Excerpt