On the Symbiosis between Model-Theoretic and Set-Theoretic Properties of Large Cardinals.

Joan Bagaria Jouko Väänänen

Published in: J. Symb. Log. (2016)

Keyphrases

set theoretic
model theoretic
image recovery
fixpoint
deductive databases
operational semantics
description logics
approximation operators
logic programs
decision procedures
proof theoretic
expert systems
machine learning
desirable properties
finite state machines