A note on homomorphisms of Hilbert algebras.
A Note on Indestructibility and Strong Compactness
If κ < λ are such that κ is both supercompact and indestructible under κ-directed closed forcing which is also (κ⁺,∞)-distributive and λ is supercompact, then by a result of Apter and Hamkins [J. Symbolic Logic 67 (2002)], δ < κ | δ is δ⁺ strongly compact yet δ is not δ⁺ supercompact must be unbounded in κ. We show that the large cardinal hypothesis on λ is necessary by constructing a model containing a supercompact cardinal κ in which no cardinal δ > κ is supercompact, κ’s supercompactness...
A note on infinite forcing.
A note on initial segments below
A note on metrics and tolerances
A note on negative tagging for least fixed-point formulae
A Note on Negative Tagging for Least Fixed-Point Formulae
Proof systems with sequents of the form U ⊢ Φ for proving validity of a propositional modal μ-calculus formula Φ over a set U of states in a given model usually handle fixed-point formulae through unfolding, thus allowing such formulae to reappear in a proof. Tagging is a technique originated by Winskel for annotating fixed-point formulae with information about the proof states at which these are unfolded. This information is used later in the proof to avoid unnecessary unfolding, without...
A note on nonaxiomatizability of independence relations generated by certain probabilistic structures
A note on noninterpretability in o-minimal structures
We prove that if M is an o-minimal structure whose underlying order is dense then Th(M) does not interpret the theory of an infinite discretely ordered structure. We also make a conjecture concerning the class of the theory of an infinite discretely ordered o-minimal structure.
A note on nowhere dense sets in
A note on paracomplete logic
In questa nota gli Autori descrivono nuovi sistemi di logica (detta «paracompleta») connessi con la logica della vaghezza («fuzzy logic») e con le logiche paraconsistenti.
A note on proofs of falsehood.
A note on reflection.
A Note On Reproductive Solutions
A note on reproductive solutions.
A note on Robinson's non-negativity criterion
A note on separating the relativized polynomial time hierarchy by immune sets
A note on Steinhorn's omitting types theorem
Let p(x) be a nonprincipal type. We give a sufficient condition for a model M to have a proper elementary extension omitting p(x). As a corollary, we obtain a generalization of Steinhorn's omitting types theorem to the supersimple case.
A note on strong compactness and resurrectibility
We construct a model containing a proper class of strongly compact cardinals in which no strongly compact cardinal ĸ is supercompact and in which every strongly compact cardinal has its strong compactness resurrectible.
A note on strong negative partition relations
We analyze a natural function definable from a scale at a singular cardinal, and use it to obtain some strong negative square-brackets partition relations at successors of singular cardinals. The proof of our main result makes use of club-guessing, and as a corollary we obtain a fairly easy proof of a difficult result of Shelah connecting weak saturation of a certain club-guessing ideal with strong failures of square-brackets partition relations. We then investigate the strength of weak saturation...