Characterization of Subdirectly Irreducible Heyting Algebras with Negative Tense Operators
On computable numberings of families of Turing degrees
A Characterization of Strongly Computable Finite Factorization Domains
Separablilty of metric measure spaces and choice axioms
On some Σ0B -generalizations of counting principles over V0
Degrees of relations on canonically ordered natural numbers and integers
Nondefinability results with entire functions of finite order in polynomially bounded o-minimal structures
On Categoricity of Scattered Linear Orders Of constructive Ranks