A Note on tight stable theories.
A note on tolerance lattices of finite chains
A note on tolerance lattices of products of lattices
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.