We prove constructively that, in order to derive the uniform continuity theorem for pointwise continuous mappings from a compact metric space into a metric space, it is necessary and sufficient to prove any of a number of equivalent conditions, such as that every pointwise continuous mapping of [0, 1] into R is bounded. The proofs are analytic, making no use of, for example, fan-theoretic ideas.

In this article we, given a free ultrafilter p on ω, consider the following classes of ultrafilters:(1) T(p) - the set of ultrafilters Rudin-Keisler equivalent to p,(2) S(p)={q ∈ ω*:∃ f ∈ ω ω , strictly increasing, such that q=f β (p)},(3) I(p) - the set of strong Rudin-Blass predecessors of p,(4) R(p) - the set of ultrafilters equivalent to p in the strong Rudin-Blass order,(5) P RB (p) - the set of Rudin-Blass predecessors of p, and(6) P RK (p) (...) - the set of Rudin-Keisler predecessors of p,and analyze relationships between them. We introduce the semi-P-points as those ultrafilters p ∈ ω* for which P RB (p)=P RK (p), and investigate their relations with P-points, weak-P-points and Q-points. In particular, we prove that for every semi-P-point p its α-th left power α p is a semi-P-point, and we prove that non-semi-P-points exist in ZFC. Further, we define an order ⊴ in T(p) by r⊴q if and only if r ∈ S(q). We prove that (S(p),⊴) is always downwards directed, (R(p),⊴) is always downwards and upwards directed, and (T(p),⊴) is linear if and only if p is selective.We also characterize rapid ultrafilters as those ultrafilters p ∈ ω* for which R(p)∖S(p) is a dense subset of ω*.A space X is M-pseudocompact (for ) if for every sequence (U n ) n < ω of disjoint open subsets of X, there are q ∈ M and x ∈ X such that x=q-lim (U n ); that is, for every neighborhood V of x. The P RK (p)-pseudocompact spaces were studied in [ST].In this article we analyze M-pseudocompactness when M is one of the classes S(p), R(p), T(p), I(p), P RB (p) and P RK (p). We prove that every Frolik space is S(p)-pseudocompact for every p ∈ ω*, and determine when a subspace with is M-pseudocompact. (shrink)

The definition of a pseudofinite structure can be translated verbatim into continuous logic, but it also gives rise to a stronger notion and to two parallel concepts of pseudocompactness. Our purpose is to investigate the relationship between these four concepts and establish or refute each of them for several basic theories in continuous logic. Pseudofiniteness and pseudocompactness turn out to be equivalent for relational languages with constant symbols, and the four notions coincide with the standard pseudofiniteness in the (...) case of classical structures, but the details appear to be slightly more important here than in the usual translation of definitions from classical logic. We also prove that injective “formula-definable” endofunctions are surjective, and conversely, in strongly pseudofinite omega-saturated structures. (shrink)

By utilizing the topological concept of pseudocompactness, we simplify and improve a proof of Caicedo, Dueñez, and Iovino concerning Terence Tao's metastability. We also pinpoint the exact relationship between the Omitting Types Theorem and the Baire Category Theorem by developing a machine that turns topological spaces into abstract logics.