Investigation of the Equivalence of the Axiom of Choice and Zorn's Lemma from the Viewpoint of the Hierarchy of Types.

J. Richard Büchi

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

Keyphrases

viewpoint
image sequences
neural network
artificial intelligence
wide range
special case
illumination conditions
real time
real world
data mining
machine learning
image processing
case study
modal logic