commit 254a640c188fa2e48d54d49b125ea354a451f3d9
parent b28d83bc9a4d786a6fb898ddaad64173d921a165
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Wed, 25 Jun 2025 18:58:42 +0200
commit with codex
Diffstat:
2 files changed, 4 insertions(+), 1 deletion(-)
diff --git a/automatic_relation b/automatic_relation
@@ -14,6 +14,8 @@ Generalization: [deterministic_rational_relations], [rational_relations]
It is an [open_problem] whether the [computational_problem] of deciding [formal_language_separation] of automatic relations by a [recognizable_relation] is a [decidable] problem
+[automatic_relations_FO_definable]
+
Up: [automata], [relation]
See also: [automatic_structure], [automatic_graph], [sequence_automatic], [post_correspondence_problem]
diff --git a/hierarchy b/hierarchy
@@ -3,7 +3,8 @@
- [complexity_hierarchy]
- [dot_depth]: various hierarchies
- [alternation_hierarchy]
-- [arithmetical_hierarchy]
+- [arithmetical_hierarchy], with [first_order_logic]
+- [analytical_hierarchy], with [second_order_logic]
- [time_hierarchy_theorem] / [space_hierarchy_theorem]
- [logarithmic_time_hierarchy]
