Login / Signup

Exact saturation in pseudo-elementary classes for simple and stable theories.

Itay KaplanNicholas RamseySaharon Shelah
Published in: J. Math. Log. (2023)
Keyphrases
  • information systems
  • decision making
  • search algorithm
  • brute force