Zobrazeno 1 - 10
of 96
pro vyhledávání: '"John K. Truss"'
Autor:
David Bradley-Williams, John K. Truss
Publikováno v:
Journal of Group Theory.
We give a flexible method for constructing a wide variety of limits of betweenness relations. This unifies work of Adeleke, who constructed a Jordan group preserving a limit of betweenness relations, and Bhattacharjee and Macpherson who gave an alter
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::800c67e6d0dd1cf663b9b40270279cab
https://doi.org/10.1515/jgth-2022-0048
https://doi.org/10.1515/jgth-2022-0048
Autor:
John K. Truss
Publikováno v:
Mathematical Logic Quarterly. 68:74-78
We show that the weak monadic second order theory of the structure $({\mathbb Q}
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::35877cdae26c9c38b23f87d479a7ce62
https://doi.org/10.1002/malq.202100047
https://doi.org/10.1002/malq.202100047
Publikováno v:
Mathematical Logic Quarterly. 66:466-478
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e61c668cee4a62c2b4b98099933b6bd8
https://doi.org/10.1002/malq.202000014
https://doi.org/10.1002/malq.202000014
Autor:
S. Barry Cooper, John K. Truss
Together, Models and Computability and its sister volume Sets and Proofs will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers a
Autor:
S. Barry Cooper, John K. Truss
Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at'Logic Colloquium'97
Autor:
Feresiano Mwesigye, John K. Truss
Publikováno v:
Order. 36:107-117
Two structures A and B are n-equivalent if player II has a winning strategy in the n-move Ehrenfeucht-Fraisse game on A and B. We extend earlier results about n-equivalence classes for finite coloured linear orders, describing an algorithm for reduci
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e2b63474c61f595901cd24c68d4406f3
https://doi.org/10.1007/s11083-018-9458-3
https://doi.org/10.1007/s11083-018-9458-3
Autor:
Edith Vargas-García, John K. Truss
In this paper, we define the action of $M$, the monoid of embeddings of $({\mathbb Q}, \le)$, on $\mathbb Q$, in the monoid $(M, \circ)$. That is, we show that $\mathbb Q$ itself can be interpreted in $(M, \circ)$, and in addition, so can the action
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0600ebaf21da18c08223ca750eb2bda3
http://arxiv.org/abs/1908.11727
http://arxiv.org/abs/1908.11727
Publikováno v:
Studia Logica. 105:65-91
We show how to reconstruct the topology on the monoid of endomorphisms of the rational numbers under the strict or reflexive order relation, and the polymorphism clone of the rational numbers under the reflexive relation. In addition we show how auto
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d7c795b52494d73990a8c1d45b21ac1f
https://doi.org/10.1007/s11225-016-9682-z
https://doi.org/10.1007/s11225-016-9682-z
Autor:
Feresiano Mwesigye, John K. Truss
Two structures A and B are n-equivalent if player II has a winning strategy in the n-move Ehrenfeucht–Fraisse game on A and B. Ordinals and m-coloured ordinals are studied up to n-equivalence for various values of m and n.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::66082e25996ae22481d0d4779eefdf93
https://eprints.whiterose.ac.uk/128407/1/feres3.pdf
https://eprints.whiterose.ac.uk/128407/1/feres3.pdf
Autor:
Katie Chicot, John K. Truss
Publikováno v:
Groups, Modules, and Model Theory-Surveys and Recent Developments ISBN: 9783319517179
We give a survey of three pieces of work, on 2-transitive trees (Droste, Memoirs Am Math Soc 57(334) 1985), on weakly 2-transitive trees (Droste et al., Proc Lond Math Soc 58:454–494, 1989), and on lower 1-transitive linear orders (Barbina and Chic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::aa859574c307f41711c95a858affe176