Geodesic

Studies in constructive mathematics and mathematical logic. Part V

On the relation between classical and construetive analysis
p. 5-11
The increase of the complexity of functions at an application of the multiple recursion
p. 12-17
On a~relation between sheaf-spaces and numerated sets with $C_2^*$-property
p. 18-20
Some properties of solutions of equations in a~free semigroup
p. 21-28
On recognizing invariant properties of algorithms
p. 29-34
The recognition of the self-crossing of plane trajectory by Kolmogorov algorithm
p. 35-44
Metamathematical interpretation of the fan theorem
p. 45-52
A~non-compact closed sphere in a~constructive compact metric space
p. 53-58
Deduction search in calculi of general type
p. 59-65
Probabilistic canonical systems
p. 66-76
Arithmetical representations of recursively enumerable sets with a~small number of quantifiers
p. 77-84
Derivability of admissible rules
p. 85-89
Cut-elimination theorem for relevant logics
p. 90-97
A~specialization of Gentzen-type deductions and its application
p. 98-104
Some properties of graphs of functions in the Grzegorczyk hierarchy
p. 105-107
An extention of the inverse method to axiomatic theories with equality
p. 108-115
An equation calculus for primitive recursive rational-valued functions
p. 116-120
Families of the recursive predicates of the zero measure
p. 121-128
Topological variants of the continuity theorem and of some related theorems
p. 129-139
On constructive operators of finite types
p. 140-147
A~classification of spaces of operators of finite types
p. 148-152