On the relative strengths of fragments of collection

期刊： MATHEMATICAL LOGIC QUARTERLY, 2019; 65 (1)

Let M be the basic set theory that consists of the axioms of extensionality, emptyset, pair, union, powerset, infinity, transitive containment, (0)-se......

JIF：0.33

Reductions on equivalence relations generated by universal sets

期刊： MATHEMATICAL LOGIC QUARTERLY, 2019; 65 (1)

Let X, Y be Polish spaces, (Y), AXxY. We say A is universal for provided that each x-section of A is in and each element of occurs as an x-section of ......

JIF：0.33

Hall's universal group has ample generic automorphisms

期刊： MATHEMATICAL LOGIC QUARTERLY, 2019; 65 (2)

We show that the automorphism group of Hall's universal locally finite group has ample generics, that is, it admits comeager diagonal conjugacy classe......

JIF：0.33

Definable topological dynamics for trigonalizable algebraic groups over Qp

期刊： MATHEMATICAL LOGIC QUARTERLY, 2019; 65 (3)

We study the flow (G(Qp),SG(Qp)) of trigonalizable algebraic group acting on its type space, focusing on the problem raised in [17] of whether weakly ......

JIF：0.33

The HOD Hypothesis and a supercompact cardinal

期刊： MATHEMATICAL LOGIC QUARTERLY, 2017; 63 (5)

In this paper, we prove that: if. is supercompact and the HOD Hypothesis holds, then there is a proper class of regular cardinals in V. which are meas......

JIF：0.52

Generalizations of Cantor's theorem in ZF

期刊： MATHEMATICAL LOGIC QUARTERLY, 2017; 63 (5)

A set x is Dedekind infinite if there is an injection from. into x; otherwise x is Dedekind finite. A set x is power Dedekind infinite if P(x), the po......

JIF：0.52