Login / Signup

Jump inversions of algebraic structures and Σ-definability.

Marat Kh. FaizrahmanovAsher M. KachIskander Sh. KalimullinAntonio MontalbánVadim Puzarenko
Published in: Math. Log. Q. (2019)
Keyphrases
  • algebraic structures
  • fixed point
  • partially ordered sets
  • inductive inference
  • propositional logic
  • markov chain
  • finite model theory
  • sufficient conditions
  • image sequences
  • special case
  • np hard