Definable MAD families and forcing axioms.

Vera Fischer David Schrittesser Thilo Weinert

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

Keyphrases

first order logic
action theories
situation calculus
computational properties
knowledge base
expressive power
set theory
computer vision
image sequences
natural language
knowledge representation
data management
answer sets
derived predicates
axiomatic characterization