The complexity of retina operators.
The complexity of the set of squares in the homeomorphism group of the circle
The set of squares in the group of autohomeomorphisms of the circle is complete analytic, and hence analytic but not Borel.
The complexity of uniform distribution
The computability potential scale of all finite algebras.
The computation of characteristic vectors of logical-probabilistic expressions
The concept of a binary relation over partial enumerated sets.
The conjugacy problem for groups, and Higman embeddings.
The connection between the fundamental groupoid and a unification algorithm for syntactil algebras (extended abstract)
The Consistency Of A Variant Of Church's Thesis With An Axiomatic Theory Of An Epistemic Notion.
The consistency of 𝔟 = κ and 𝔰 = κ⁺
Using finite support iteration of ccc partial orders we provide a model of 𝔟 = κ < 𝔰 = κ⁺ for κ an arbitrary regular, uncountable cardinal.
The consistency of some theorems concerning Lebesgue measure (Preliminary communication)
The consistency of the measurability of projective semisets
The consistency strength of the tree property at the double successor of a measurable cardina
The Main Theorem is the equiconsistency of the following two statements: (1) κ is a measurable cardinal and the tree property holds at κ⁺⁺; (2) κ is a weakly compact hypermeasurable cardinal. From the proof of the Main Theorem, two internal consistency results follow: If there is a weakly compact hypermeasurable cardinal and a measurable cardinal far enough above it, then there is an inner model in which there is a proper class of measurable cardinals, and in which the tree property holds at the...
The contracted model of exploded real numbers.
The covering number for category and partition relations on
We show that cov(M) is the least infinite cardinal λ such that (the set of all finite subsets of λ ) fails to satisfy a certain natural generalization of Ramsey’s Theorem.
The covering property for σ-ideals of compact, sets
The covering property for σ-ideals of compact sets is an abstract version of the classical perfect set theorem for analytic sets. We will study its consequences using as a paradigm the σ-ideal of countable closed subsets of .
The creative subject and Heyting's arithmetic
The decidability of some -categorical theories
The degree sets of connected infinite graphs
The degree spectra of definable relations on Boolean algebras.