Congruence Preservation, Lattices and Recognizability

Documenti analoghi

• The algebra of binary trees is affine complete
  di: Arnold, Andre, et al.
  Pubblicazione: (2020)
• Recognizable Realizability
  di: Carl, Merlin
  Pubblicazione: (2024)
• Infinite Time Recognizability from Random Oracles and the Recognizable Jump Operator
  di: Carl, Merlin
  Pubblicazione: (2015)
• Recognizable sets and Woodin cardinals: Computation beyond the constructible universe
  di: Carl, Merlin, et al.
  Pubblicazione: (2015)
• The strange world of transfinite Melodies -- Recognizability for weak and strong infinite time $α$-register machines
  di: Carl, Merlin
  Pubblicazione: (2022)