Rainbow Ramsey Theorem for triples is strictly weaker than the Arithmetical Comprehension Axiom.

Published in: J. Symb. Log. (2013)

Keyphrases

linked data
modal logic
inference rules
concept mapping
von neumann
real time
data sets
databases
genetic algorithm
artificial intelligence
e learning
relational databases
artificial neural networks
cognitive processes
rdf graphs
intuitionistic logic