Academic Journal
Punctual Presentability in Certain Classes of Algebraic Structures
| Τίτλος: | Punctual Presentability in Certain Classes of Algebraic Structures |
|---|---|
| Συγγραφείς: | Kalociński, Dariusz, San Mauro, Luca, Wrocławski, Michał |
| Συνεισφορές: | Dariusz Kalociński and Luca San Mauro and Michał Wrocławski |
| Στοιχεία εκδότη: | Schloss Dagstuhl – Leibniz-Zentrum für Informatik |
| Έτος έκδοσης: | 2024 |
| Συλλογή: | DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) |
| Θεματικοί όροι: | fully primitive recursive structures, punctual presentability, trees, injection structures |
| Περιγραφή: | Punctual structure theory is a rapidly emerging subfield of computable structure theory which aims at understanding the primitive recursive content of algebraic structures. A structure with domain ℕ is punctual if its relations and functions are (uniformly) primitive recursive. One of the fundamental problems of this area is to understand which computable members of a given class of structures admit a punctual presentation. We investigate such a problem for a number of familiar classes of algebraic structures, paying special attention to the case of trees, presented both in a relational and functional signature. |
| Τύπος εγγράφου: | article in journal/newspaper conference object |
| Περιγραφή αρχείου: | application/pdf |
| Γλώσσα: | English |
| Relation: | Is Part Of LIPIcs, Volume 306, 49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2024.65 |
| DOI: | 10.4230/LIPIcs.MFCS.2024.65 |
| Διαθεσιμότητα: | https://doi.org/10.4230/LIPIcs.MFCS.2024.65 https://nbn-resolving.org/urn:nbn:de:0030-drops-206212 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2024.65 |
| Rights: | https://creativecommons.org/licenses/by/4.0/legalcode |
| Αριθμός Καταχώρησης: | edsbas.581E98DA |
| Βάση Δεδομένων: | BASE |
| DOI: | 10.4230/LIPIcs.MFCS.2024.65 |
|---|