Two-Sorted Frege Arithmetic is not conservative.

Stephen Mackereth Jeremy Avigad

Published in: Rev. Symb. Log. (2023)

Keyphrases

arithmetic operations
floating point
real time
genetic algorithm
decision making
relational databases
machine learning
objective function
data structure
video sequences
search algorithm
multi agent systems
object recognition
probabilistic model
medical images