Schmerl decompositions in first order arithmetic.

François Dorais Zachary Evans Marcia J. Groszek Seth Harris Theodore A. Slaman

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

Keyphrases

quantifier free
first order logic
higher order
quantifier elimination
horn clauses
website
stochastic dominance
arithmetic operations
neural network
artificial intelligence
description logics
singular value decomposition
constraint propagation
floating point