Geodesic

Studies in constructive mathematics and mathematical logic. Part VI

From the authors
A~matrix notation for the nets of marks
p. 4-9
A~reduction of proposittional tautologihood to graph-coloring in three colors
p. 10-13
An upper estimate of the finite-state complexity for a~class of generating schemes containing complements and intersections
p. 14-23
On solutions of systems consisting both of word equationa and of word length inequalities
p. 24-29
What does the law of the exeluted middle follow from?
p. 30-37
A~constructivization of the notions of $\varepsilon$-entropy and $\varepsilon$-capacity
p. 38-44
Quelques propri\'et\'es des fonctions num\'eriques constructives sur les espaces de fonctions presque-periodiques
p. 45-62
On cut-type rules for calculuses of general type
p. 63-76
The existence of non-effectivizable estimates in the theory of exponential Diophantine equations
p. 77-93
A~proof scheme in discrete mathematics
p. 94-100
Heytiag predicate calculus with $\varepsilon$-symbol
p. 101-109
On $E$-theorems
p. 110-118
New proof of the uniqueness theorem for the differentiable complex-variable functions
p. 119-126
Some simple syntactical definition of all classes of Grzegorczyk hierarchy
p. 127-130
Table approximations to recursive predicates
p. 131-135
On some properties of mappings of sheafspaces
p. 136-141
On a~hierarchy of Brouwer constructive functionals
p. 142-147