Attempts to extend the classical Hausdorff difference hierarchy to the case of partitions of a space to k > 2 subsets lead to non‐equivalent notions. In a hope to identify the “right” extension we consider the extensions appeared in the literature so far: the limit‐, level‐, Boolean and Wadge hierarchies of k ‐partitions. The advantages and disadvantages of the four hierarchies are discussed. The main technical contribution of this paper is a complete characterization of the Wadge degrees of Δ02‐measurable k (...) ‐partitions of the Baire space. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim). (shrink)

Given a class${\cal C}$of subgroups of a topological groupG, we say that a subgroup$H \in {\cal C}$is auniversal${\cal C}$subgroupofGif every subgroup$K \in {\cal C}$is a continuous homomorphic preimage ofH. Such subgroups may be regarded as complete members of${\cal C}$with respect to a natural preorder on the set of subgroups ofG. We show that for any locally compact Polish groupG, the countable powerGωhas a universalKσsubgroup and a universal compactly generated subgroup. We prove a weaker version of this in the (...) nonlocally compact case and provide an example showing that this result cannot readily be improved. Additionally, we show that many standard Banach spaces have universalKσand compactly generated subgroups. As an aside, we explore the relationship between the classes ofKσand compactly generated subgroups and give conditions under which the two coincide. (shrink)

We introduce a new class of real-valued monotones in preordered spaces, injective monotones. We show that the class of preorders for which they exist lies in between the class of preorders with strict monotones and preorders with countable multi-utilities, improving upon the known classification of preordered spaces through real-valued monotones. We extend several well-known results for strict monotones (Richter–Peleg functions) to injective monotones, we provide a construction of injective monotones from countable multi-utilities, and relate injective monotones to classic results concerning (...) Debreu denseness and order separability. Along the way, we connect our results to Shannon entropy and the uncertainty preorder, obtaining new insights into how they are related. In particular, we show how injective monotones can be used to generalize some appealing properties of Jaynes’ maximum entropy principle, which is considered a basis for statistical inference and serves as a justification for many regularization techniques that appear throughout machine learning and decision theory. (shrink)

As is well known, any preorder R on a set U induces an Alexandrov topology on U. In some interesting cases related to data mining an Alexandrov topology can be transformed into different types of logico-algebraic models. In some cases, (pre)topological operators provided by Pointless Topology may define a topological space on U even if R is not a preorder. If this is the case, then we call R a crypto-preorder. The paper studies the conditions under which (...) a relation R is a crypto-preorder and how to transform a crypto-preorder into a proper preorder. (shrink)

We investigate the group of definable homomorphisms between two definable abelian groups A and B, in an o-minimal structure . We prove the existence of a “large”, definable subgroup of . If contains an infinite definable set of homomorphisms then some definable subgroup of B admits a definable multiplication, making it into a field. As we show, all of this can be carried out not only in the underlying structure but also in any structure definable in.

This paper deals with good fuzzy preorders on fuzzy power structures. It is shown that a fuzzy preorder R on an algebra ${(X,\mathbb{F})}$ is compatible if and only if it is Hoare good, if and only if it is Smyth good.

In nonstandard measure theory the standard part map is very useful to represent standard measures by Loeb measures. We give here a different method of representing measures using the concept of a σ -homomorphism. As an application a measure extension theorem is derived. Finally a nonstandard proof of a result of Pták is given showing that his assumption of nonmeasurable cardinality is redundant.

The composition series of Verma modules and homomorphisms between Verma modules in the case of a complex semisimple Lie algebra were studied by Verma and by Bernstein, Gelfand and Gelfand. The author studies homomorphisms between the Verma modules in characteristic p.

In this essay we introduce a new tool for studying the patterns of sentential reference within the framework introduced in [2] and known as the language of paradox $\mathcal {L}_{\mathsf {P}}$ : strong $\mathcal {L}_{\mathsf {P}}$ -homomorphisms. In particular, we show that (i) strong $\mathcal {L}_{\mathsf {P}}$ -homomorphisms between $\mathcal {L}_{\mathsf {P}}$ constructions preserve paradoxicality, (ii) many (but not all) earlier results regarding the paradoxicality of $\mathcal {L}_{\mathsf {P}}$ constructions can be recast as special cases of our central result regarding (...) strong $\mathcal {L}_{\mathsf {P}}$ -homomorphisms, and (iii) that we can use strong $\mathcal {L}_{\mathsf { P}}$ -homomorphisms to provide a simple demonstration of the paradoxical nature of a well-known paradox that has not received much attention in this context: the McGee paradox. In addition, along the way we will highlight how strong $\mathcal {L}_{\mathsf {P}}$ -homomorphisms highlight novel connections between the graph-theoretic analyses of paradoxes mobilized in the $\mathcal {L}_{\mathsf {P}}$ framework and the methods and tools of category theory. (shrink)

We survey various aspects of the problem of automatic continuity of homomorphisms between Polish groups.

We investigate homomorphisms of degree structures with various relations, functions and constants. Our main emphasis is on pseudolattices, i.e., partially ordered sets with a join operation and relations simulating the meet operation. We show that there are no finite quotients of the pseudolattice of degrees or of the pseudolattice of degrees 0′, but that many finite distributive lattices are pseudolattice quotients of the pseudolattice of computably enumerable degrees.

In this paper we define a suitable version of the notion of homomorphism for Kripke models of intuitionistic first-order logic and characterize theories that are preserved under images and also those that are preserved under inverse images of homomorphisms. Moreover, we define a notion of union of chain for Kripke models and define a class of formulas that is preserved in unions of chains. We also define similar classes of formulas and investigate their behavior in Kripke models. An application to (...) intuitionistic first-order arithmetic is also given. (shrink)

It is shown within Bishop's constructive mathematics that, under one extra, classically automatic, hypothesis, a continuous homomorphism from R onto a compact metric abelian group is periodic, but that the existence of the minimum value of the period is not derivable.

For given Boolean algebras$\mathbb {A}$and$\mathbb {B}$we endow the space$\mathcal {H}(\mathbb {A},\mathbb {B})$of all Boolean homomorphisms from$\mathbb {A}$to$\mathbb {B}$with various topologies and study convergence properties of sequences in$\mathcal {H}(\mathbb {A},\mathbb {B})$. We are in particular interested in the situation when$\mathbb {B}$is a measure algebra as in this case we obtain a natural tool for studying topological convergence properties of sequences of ultrafilters on$\mathbb {A}$in random extensions of the set-theoretical universe. This appears to have strong connections with Dow and Fremlin’s result stating (...) that there are Efimov spaces in the random model. We also investigate relations between topologies on$\mathcal {H}(\mathbb {A},\mathbb {B})$for a Boolean algebra$\mathbb {B}$carrying a strictly positive measure and convergence properties of sequences of measures on$\mathbb {A}$. (shrink)

We study effectively inseparable prelattices $\wedge, \vee$ are binary computable operations; ${ \le _L}$ is a computably enumerable preordering relation, with $0{ \le _L}x{ \le _L}1$ for every x; the equivalence relation ${ \equiv _L}$ originated by ${ \le _L}$ is a congruence on L such that the corresponding quotient structure is a nontrivial bounded lattice; the ${ \equiv _L}$ -equivalence classes of 0 and 1 form an effectively inseparable pair of sets). Solving a problem in we show, that if (...) L is an e.i. prelattice then ${ \le _L}$ is universal with respect to all c.e. preordering relations, i.e., for every c.e. preordering relation R there exists a computable function f reducing R to ${ \le _L}$, i.e., $xRy$ if and only if $f\left{ \le _L}f\left$, for all $x,y$. In fact ${ \le _L}$ is locally universal, i.e., for every pair $a{ < _L}b$ and every c.e. preordering relation R one can find a reducing function f from R to ${ \le _L}$ such that the range of f is contained in the interval $\left\{ {x:a{ \le _L}x{ \le _L}b} \right\}$. Also ${ \le _L}$ is uniformly dense, i.e., there exists a computable function f such that for every $a,b$ if $a{ < _L}b$ then $a{ < _L}f\left{ < _L}b$, and if $a{ \equiv _L}a\prime$ and $b{ \equiv _L}b\prime$ then $f\left{ \equiv _L}f\left$. Some consequences and applications of these results are discussed: in particular for $n \ge 1$ the c.e. preordering relation on ${{\rm{\Sigma }}_n}$ sentences yielded by the relation of provable implication of any c.e. consistent extension of Robinson’s system R or Q is locally universal and uniformly dense; and the c.e. preordering relation yielded by provable implication of any c.e. consistent extension of Heyting Arithmetic is locally universal and uniformly dense. (shrink)

Semi-Post algebras have been introduced and investigated in [6]. This paper is devoted to semi-Post subalgebras and homomorphisms. Characterization of semi-Post subalgebras and homomorphisms, relationships between subalgebras and homomorphisms of semi-Post algebras and of generalized Post algebras are examined.

The primary purpose of this paper is to analyze the relationship between the familiar non-Archimedean field of hyperreals from Abraham Robinson’s nonstandard analysis and Paolo Giordano’s ring extension of the real numbers containing nilpotents. There is an interesting nontrivial homomorphism from the limited hyperreals into the Giordano ring, whereas the only nontrivial homomorphism from the Giordano ring to the hyperreals is the standard part function, namely, the function that maps a value to its real part. We interpret this asymmetry to (...) mean that the nilpotent infinitesimal values of Giordano’s ring are “smaller” than the hyperreal infinitesimals. By viewing things from the “point of view” of the hyperreals, all nilpotents are zero, whereas by viewing things from the “point of view” of Giordano’s ring, nonnilpotent, nonzero infinitesimals register as nonzero infinitesimals. This suggests that Giordano’s infinitesimals are more fine-grained. (shrink)

The study of complexity and optimization in decision theory involves both partial and complete characterizations of preferences over decision spaces in terms of real-valued monotones. With this motivation, and following the recent introduction of new classes of monotones, like injective monotones or strict monotone multi-utilities, we present the classification of preordered spaces in terms of both the existence and cardinality of real-valued monotones and the cardinality of the quotient space. In particular, we take advantage of a characterization of real-valued monotones (...) in terms of separating families of increasing sets to obtain a more complete classification consisting of classes that are strictly different from each other. As a result, we gain new insight into both complexity and optimization, and clarify their interplay in preordered spaces. (shrink)

We provide conditions under which an incomplete strongly independent preorder on a convex set X can be represented by a set of mixture preserving real-valued functions. We allow X to be infi nite dimensional. The main continuity condition we focus on is mixture continuity. This is sufficient for such a representation provided X has countable dimension or satisfi es a condition that we call Polarization.

In the paper A. I. Malcev's problem on the characterization of axioms for classes with strong homomorphisms is being solved.

In this paper, we explore the effects of certain forbidden substructure conditions on preordered sets. In particular, we characterize in terms of these conditions those preordered sets which can be represented as the supremum of a well-ordered ascending chain of lowersets whose members are constructed by means of alternating applications of disjoint union and ordinal sums with chains. These decompositions are examples of ordinal decompositions in relatively normal lattices as introduced by Snodgrass, Tsinakis, and Hart. We conclude the paper with (...) an application to information systems. (shrink)

We analyse the connection between the computability and continuity of functions in the case of homomorphisms between topological algebraic structures. Inspired by the Pour-El and Richards equivalence theorem between computability and boundedness for closed linear operators on Banach spaces, we study the rather general situation of partial homomorphisms between metric partial universal algebras. First, we develop a set of basic notions and results that reveal some of the delicate algebraic, topological and effective properties of partial algebras. Our main computability concepts (...) are based on numerations and include those of effective metric partial algebras and effective partial homomorphisms. We prove a general equivalence theorem that includes a version of the Pour-El and Richards Theorem, and has other applications. Finally, the Pour-El and Richards axioms for computable sequence structures on Banach spaces are generalised to computable partial sequence structures on metric algebras, and we prove their equivalence with our computability model based on numerations. (shrink)

We analyse the connection between the computability and continuity of functions in the case of homomorphisms between topological algebraic structures. Inspired by the Pour-El and Richards equivalence theorem between computability and boundedness for closed linear operators on Banach spaces, we study the rather general situation of partial homomorphisms between metric partial universal algebras. First, we develop a set of basic notions and results that reveal some of the delicate algebraic, topological and effective properties of partial algebras. Our main computability concepts (...) are based on numerations and include those of effective metric partial algebras and effective partial homomorphisms. We prove a general equivalence theorem that includes a version of the Pour-El and Richards Theorem, and has other applications. Finally, the Pour-El and Richards axioms for computable sequence structures on Banach spaces are generalised to computable partial sequence structures on metric algebras, and we prove their equivalence with our computability model based on numerations. (shrink)

A split preorder is a preordering relation on the disjoint union of two sets, which function as source and target when one composes split preorders. The paper presents by generators and equations the category SplPre, whose arrows are the split preorders on the disjoint union of two finite ordinals. The same is done for the subcategory Gen of SplPre, whose arrows are equivalence relations, and for the category Rel, whose arrows are the binary relations between finite ordinals, and which (...) has an isomorphic image within SplPre by a map that preserves composition, but not identity arrows. It was shown previously that SplPre and Gen have an isomorphic representation in Rel in the style of Brauer.The syntactical presentation of Gen and Rel in this paper exhibits the particular Frobenius algebra structure of Gen and the particular bialgebraic structure of Rel, the latter structure being built upon the former structure in SplPre. This points towards algebraic modelling of various categories motivated by logic, and related categories, for which one can establish coherence with respect Rel and Gen. It also sheds light on the relationship between the notions of Frobenius algebra and bialgebra. The completeness of the syntactical presentations is proved via normal forms, with the normal form for SplPre and Gen being in some sense orthogonal to the composition-free, i.e. cut-free, normal form for Rel. The paper ends by showing that the assumptions for the algebraic structures of SplPre, Gen and Rel cannot be extended with new equations without falling into triviality. (shrink)

Let T be an $\omega_{1}-Souslin$ tree. We show the property of forcing notions; "is $\lbrace\omega_{1}\rbrace-semi-proper$ and preserves T" is preserved by a new kind of revised countable support iteration of arbitrary length. As an application we have a forcing axiom which is compatible with the existence of an $\omega_{1}-Souslin$ tree for preorders as wide as possible.

BackgroundIncreasingly, hospitals and research institutes are developing technical solutions for sharing patient data in a privacy preserving manner. Two of these technical solutions are homomorphic encryption and distributed ledger technology. Homomorphic encryption allows computations to be performed on data without this data ever being decrypted. Therefore, homomorphic encryption represents a potential solution for conducting feasibility studies on cohorts of sensitive patient data stored in distributed locations. Distributed ledger technology provides a permanent record on all transfers and processing (...) of patient data, allowing data custodians to audit access. A significant portion of the current literature has examined how these technologies might comply with data protection and research ethics frameworks. In the Swiss context, these instruments include the Federal Act on Data Protection and the Human Research Act. There are also institutional frameworks that govern the processing of health related and genetic data at different universities and hospitals. Given Switzerland’s geographical proximity to European Union (EU) member states, the General Data Protection Regulation (GDPR) may impose additional obligations.MethodsTo conduct this assessment, we carried out a series of qualitative interviews with key stakeholders at Swiss hospitals and research institutions. These included legal and clinical data management staff, as well as clinical and research ethics experts. These interviews were carried out with two series of vignettes that focused on data discovery using homomorphic encryption and data erasure from a distributed ledger platform.ResultsFor our first set of vignettes, interviewees were prepared to allow data discovery requests if patients had provided general consent or ethics committee approval, depending on the types of data made available. Our interviewees highlighted the importance of protecting against the risk of reidentification given different types of data. For our second set, there was disagreement amongst interviewees on whether they would delete patient data locally, or delete data linked to a ledger with cryptographic hashes. Our interviewees were also willing to delete data locally or on the ledger, subject to local legislation.ConclusionOur findings can help guide the deployment of these technologies, as well as determine ethics and legal requirements for such technologies. (shrink)

The existence of a Richter–Peleg multi-utility representation of a preorder by means of upper semicontinuous or continuous functions is discussed in connection with the existence of a Richter–Peleg utility representation. We give several applications that include the analysis of countable Richter–Peleg multi-utility representations.

It is known that a countable $\omega $ -categorical structure interprets all finite structures primitively positively if and only if its polymorphism clone maps to the clone of projections on a two-element set via a continuous clone homomorphism. We investigate the relationship between the existence of a clone homomorphism to the projection clone, and the existence of such a homomorphism which is continuous and thus meets the above criterion.

Let equation image be the semigroup of all mappings on the natural numbers equation image, and let U and V be subsets of equation image. We write U≼V if there exists a countable subset C of equation image such that U is contained in the subsemigroup generated by V and C. We give several results about the structure of the preorder ≼. In particular, we show that a certain statement about this preorder is equivalent to the Continuum Hypothesis.The (...) preorder ≼ is analogous to one introduced by Bergman and Shelah on subgroups of the symmetric group on equation image. The results in this paper suggest that the preorder on subsemigroups of equation image is much more complicated than that on subgroups of the symmetric group. (shrink)

Split preorders are preordering relations on a domain whose composition is defined in a particular way by splitting the domain into two disjoint subsets. These relations and the associated composition arise in categorial proof theory in connection with coherence theorems. Here split preorders are represented isomorphically in the category whose arrows are binary relations and whose composition is defined in the usual way. This representation is related to a classical result of representation theory due to Richard Brauer.

The quotient ℝ/G of the additive group of the reals modulo a countable subgroup G does not admit nontrivial Baire measurable automorphisms.

The lattices of the title generalize the concept of a De Morgan lattice. A representation in terms of ordered topological spaces is described. This topological duality is applied to describe homomorphisms, congruences, and subdirectly irreducible and free lattices in the category. In addition, certain equational subclasses are described in detail.

We study the relative complexity of equivalence relations and preorders from computability theory and complexity theory. Given binary relationsR,S, a componentwise reducibility is defined byR≤S⇔ ∃f∀x, y[x R y↔fS f].Here,fis taken from a suitable class of effective functions. For us the relations will be on natural numbers, andfmust be computable. We show that there is a${\rm{\Pi }}_1^0$-complete equivalence relation, but no${\rm{\Pi }}_k^0$-complete fork≥ 2. We show that${\rm{\Sigma }}_k^0$preorders arising naturally in the above-mentioned areas are${\rm{\Sigma }}_k^0$-complete. This includes polynomial timem-reducibility on (...) exponential time sets, which is${\rm{\Sigma }}_2^0$, almost inclusion on r.e. sets, which is${\rm{\Sigma }}_3^0$, and Turing reducibility on r.e. sets, which is${\rm{\Sigma }}_4^0$. (shrink)

. What is a logic? Which properties are preserved by maps between logics? What is the right notion for equivalence of logics? In order to give satisfactory answers we generalize and further develop the topological approach of [4] and present the foundations of a general theory of abstract logics which is based on the abstract concept of a theory. Each abstract logic determines a topology on the set of theories. We develop a theory of logic maps and show in what (...) way they induce (continuous, open) functions on the corresponding topological spaces. We also establish connections to well-known notions such as translations of logics and the satisfaction axiom of institutions [5]. Logic homomorphisms are maps that behave in some sense like continuous functions and preserve more topological structure than logic maps in general. We introduce the notion of a logic isomorphism as a (not necessarily bijective) function on the sets of formulas that induces a homeomorphism between the respective topological spaces and gives rise to an equivalence relation on abstract logics. Therefore, we propose logic isomorphisms as an adequate and precise notion for equivalence of logics. Finally, we compare this concept with another recent proposal presented in [2]. (shrink)

A strongly independent preorder on a possibly in finite dimensional convex set that satisfi es two of the following conditions must satisfy the third: (i) the Archimedean continuity condition; (ii) mixture continuity; and (iii) comparability under the preorder is an equivalence relation. In addition, if the preorder is nontrivial (has nonempty asymmetric part) and satisfi es two of the following conditions, it must satisfy the third: (i') a modest strengthening of the Archimedean condition; (ii') mixture continuity; and (...) (iii') completeness. Applications to decision making under conditions of risk and uncertainty are provided. (shrink)

An Ockham lattice is defined to be a distributive lattice with 0 and 1 which is equipped with a dual homomorphic operation. In this paper we prove: (1) The lattice of all equational classes of Ockham lattices is isomorphic to a lattice of easily described first-order theories and is uncountable, (2) every such equational class is generated by its finite members. In the proof of (2) a characterization of orderings of with respect to which the successor function is decreasing (...) is given. (shrink)

That diagrams are analog, i.e., homomorphic, representations of some kind, and sentential representations are not, is a generally held intuition. In this paper, we develop a formal framework in which the claim can be stated and examined, and certain puzzles resolved. We start by asking how physical things can represent information in some target domain. We lay a basis for investigating possible homomorphisms by modeling both the physical medium and the target domain as sets of variables, each with a (...) constraint structure. When a homomorphism exists, the causality of the physical medium can provide a “free ride,” automatically determining the information that is needed to solve a problem. The modeling technique enables us to show how in sentential representations the structure of the 2-D space is used non-homomorphically to define tokens, and to provide a minimal homomorphism with respect to the ordering of the arguments for n-ary functions, predicates, and operators, but otherwise there is no homomorphism with the target domain. Our treatment also characterizes diagrams as a type of a more general class of physical representations in which physical causality plays a role in providing the information needed to solve a problem. (shrink)