The Relative Consistency of the Axiom of Choice Mechanized Using Isabelle/ZF.

Lawrence C. Paulson

Published in: CoRR (2021)

Keyphrases

theorem prover
inference rules
database
neural network
decision making
path consistency
image processing
three dimensional
face recognition
cost function
wireless sensor networks
consistency checking