The Combinatorics and Absoluteness of Definable Sets of Real Numbers.

Published in: Bull. Symb. Log. (2022)

Keyphrases

real numbers
fuzzy numbers
interval arithmetic
arithmetic operations
linear inequalities
graph theory
constraint solver
real world
genetic algorithm
evolutionary algorithm
first order logic
quantifier free
ordered fuzzy numbers