Continuity of Gödel's System T Definable Functionals via Effectful Forcing.

Martín Hötzel Escardó

Published in: MFPS (2013)

Keyphrases

higher order
first order logic
special case
answer sets
social bookmarking
transitive closure
neural network
multiscale
logic programs
real time
databases
genetic algorithm
social networks
case study
expressive power
social networking