Admissible extensions of subtheories of second order arithmetic.

Gerhard Jäger Michael Rathjen

Published in: Ann. Pure Appl. Log. (2024)

Keyphrases

state space
high order
higher order
arithmetic operations
multiresolution
social networks
hessian matrix
database
genetic algorithm
information systems
website
multiscale
fixed point
efficient implementation
floating point