Results 251 to 257 of about 33,228 (257)

16 CONSTRUCTIVE REVERSE MATHEMATICS: COMPACTNESS PROPERTIES

2005
Hajime Ishihara
exaly  

On Arithmetical Numberings in Reverse Mathematics

Nikolay Bazhenov 0001, Marta Fiori-Carones, Manat Mustafa   +2 more
openaire   +2 more sources

Reverse mathematics of a color basis theorem

Computability
Jeffry L. Hirst
exaly  

Reverse Mathematics for Neural Networks

openaire   +2 more sources

Properties of Range Sets of Continuous Functions in Reverse Mathematics

Lecture Notes in Computer Science
exaly  

Inductive Inference and Reverse Mathematics

exaly  

Borel Sets in Reverse Mathematics (Invited Talk)

exaly