Inaccessible Cardinals, Failures of GCH, and Level-by-Level Equivalence.

Arthur W. Apter

Published in: Notre Dame J. Formal Log. (2014)

Keyphrases

levels of abstraction
real time
databases
genetic algorithm
lower level
lower levels
artificial intelligence
management system