dc.contributor.author |
Kellerman, Ruaan
|
|
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 |