Order:
Disambiguations
John K. Truss [5]John Truss [4]John Kenneth Truss [2]
  1.  19
    The well‐ordered and well‐orderable subsets of a set.John Truss - 1973 - Mathematical Logic Quarterly 19 (14‐18):211-214.
  2.  14
    Surjectively rigid chains.Mayra Montalvo-Ballesteros & John K. Truss - 2020 - Mathematical Logic Quarterly 66 (4):466-478.
    We study rigidity properties of linearly ordered sets (chains) under automorphisms, embeddings, epimorphisms, and endomorphisms. We focus on two main cases: dense subchains of the real numbers, and uncountable dense chains of higher regular cardinalities. We also give a Fraenkel‐Mostowski model which illustrates the role of the axiom of choice in one of the key proofs.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  26
    Reconstructing the Topology on Monoids and Polymorphism Clones of the Rationals.Mike Behrisch, John K. Truss & Edith Vargas-García - 2017 - Studia Logica 105 (1):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 automatic homeomorphicity results can be lifted to polymorphism clones generated by monoids.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4. Sets and Proofs.S. Barry Cooper & John K. Truss - 2001 - Studia Logica 69 (3):446-448.
  5.  23
    Countably categorical coloured linear orders.Feresiano Mwesigye & John K. Truss - 2010 - Mathematical Logic Quarterly 56 (2):159-163.
    In this paper, we give a classification of ℵ0-categorical coloured linear orders, generalizing Rosenstein's characterization of ℵ0-categorical linear orderings. We show that they can all be built from coloured singletons by concatenation and ℚn-combinations . We give a method using coding trees to describe all structures in our list.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  19
    Ehrenfeucht-fraïssé games on a class of scattered linear orders.Feresiano Mwesigye & John Kenneth Truss - 2020 - Journal of Symbolic Logic 85 (1):37-60.
    Two structures A and B are n-equivalent if Player II has a winning strategy in the n-move Ehrenfeucht-Fraïssé game on A and B. In earlier articles we studied n-equivalence classes of ordinals and coloured ordinals. In this article we similarly treat a class of scattered order-types, focussing on monomials and sums of monomials in ω and its reverse ω*.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  3
    Dedekind-Finite Cardinals Having Countable Partitions.Supakun Panasawatwong & John Kenneth Truss - forthcoming - Journal of Symbolic Logic:1-16.
    We study the possible structures which can be carried by sets which have no countable subset, but which fail to be ‘surjectively Dedekind finite’, in two possible senses, that there is surjection to $\omega $, or alternatively, that there is a surjection to a proper superset.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  6
    Interpreting the weak monadic second order theory of the ordered rationals.John K. Truss - 2022 - Mathematical Logic Quarterly 68 (1):74-78.
    We show that the weak monadic second order theory of the structure is first order interpretable in its automorphism group.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  11
    On certain arbitrarily long sequences of cardinals.John Truss - 1973 - Mathematical Logic Quarterly 19 (14‐18):209-210.