First-order theories of bounded trees
| dc.contributor.author | Kellerman, Ruaan | |
| dc.contributor.email | ruaan.kellerman@up.ac.za | en_US |
| dc.date.accessioned | 2023-01-30T07:03:52Z | |
| dc.date.available | 2023-01-30T07:03:52Z | |
| dc.date.issued | 2022-02 | |
| dc.description.abstract | Please read abstract in the article. | en_US |
| dc.description.department | Mathematics and Applied Mathematics | en_US |
| dc.description.librarian | hj2023 | en_US |
| dc.description.uri | http://link.springer.com/journal/153 | en_US |
| dc.identifier.citation | Kellerman, R. First-order theories of bounded trees. Archive for Mathematical Logic 61, 263–297 (2022). https://doi.org/10.1007/s00153-021-00789-0. | en_US |
| dc.identifier.issn | 0933-5846 (print) | |
| dc.identifier.issn | 1432-0665 (online) | |
| dc.identifier.other | 10.1007/s00153-021-00789-0 | |
| dc.identifier.uri | https://repository.up.ac.za/handle/2263/89012 | |
| dc.language.iso | en | en_US |
| dc.publisher | Springer | en_US |
| dc.rights | © The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature 2021. The original publication is available at :http://link.springer.com/journal/153. | en_US |
| dc.subject | Bounded tree | en_US |
| dc.subject | Ordinal tree | en_US |
| dc.subject | Elementary substructure | en_US |
| dc.subject | End-extension | en_US |
| dc.subject | Axiomatisation | en_US |
| dc.title | First-order theories of bounded trees | en_US |
| dc.type | Postprint Article | en_US |