A note on topological -posets of fuzzy sets.
A note on topological model theory
A note on Tsirelson type ideals
Using Tsirelson’s well-known example of a Banach space which does not contain a copy of or , for p ≥ 1, we construct a simple Borel ideal such that the Borel cardinalities of the quotient spaces and are incomparable, where is the summable ideal of all sets A ⊆ ℕ such that . This disproves a “trichotomy” conjecture for Borel ideals proposed by Kechris and Mazur.
A note on -ultrafilters and -points
A Note On Ultrapower Cardinality
A note on ultrapower cardinality.
A note on undecidable extensions of monadic second order successor arithmetic.
A note on weak distributivity and continuous restrictions of Borel functions
A note on weak hidden variables
A note on Δ₁ induction and Σ₁ collection
Slaman recently proved that Σₙ collection is provable from Δₙ induction plus exponentiation, partially answering a question of Paris. We give a new version of this proof for the case n = 1, which only requires the following very weak form of exponentiation: " exists for some y sufficiently large that x is smaller than some primitive recursive function of y".
A notion of functional completeness for first order structures. II: Quasiprimality.
A notion of functional completeness for first-order structure.
A notion of measure for classes in AST
A notion of semigenericity
A number-theoretic conjecture and its implication for set theory.
A one axiom set theory based on higher order predicate calculus.
A Parigot-style linear -calculus for full intuitionistic linear logic.
A partial comparison of two conditions on the intersections of regressive sets.
A partial order where all monotone maps are definable
It is consistent that there is a partial order (P,≤) of size such that every monotone function f:P → P is first order definable in (P,≤).
A partition theorem for α-large sets