Login / Signup
Indestructible Weakly Compact Cardinals and the Necessity of Supercompactness for Certain Proof Schemata.
Arthur W. Apter
Joel David Hamkins
Published in:
Math. Log. Q. (2001)
Keyphrases
</>
theorem proving
information systems
theorem prover
functional dependencies
proof theory
social networks
feature selection
multimedia
case study
natural language
object recognition
high dimensional
hidden markov models
integrity constraints
database schema