Geodesic

Studies in constructive mathematics and mathematical logic. Part IX

Sommaire

Georg Сantor as the author of constructions playing fundamental roles in constructive mathematics
p. 5-22
Models of linear logic
p. 23-35
Infinite sets of primes, admitting Diophantine representations in eight variables
p. 36-48
Randomized proofs in arithmetic
p. 49-71
Level logics
p. 72-82
A new technique for obtaining Diophantine representations via elimination of bounded universal quantifiers
p. 83-92
A method of epsilon substitution for the predicate logic with equality
p. 93-122
Saturated calculus for Horn-like sequents of a~complete class of a~linear temporal first order logic
p. 123-144