A polarized partition relation and failure of GCH at singular strong limit
The main result is that for λ strong limit singular failing the continuum hypothesis (i.e. ), a polarized partition theorem holds.
A poset hierarchy
This article extends a paper of Abraham and Bonnet which generalised the famous Hausdorff characterisation of the class of scattered linear orders. They gave an inductively defined hierarchy that characterised the class of scattered posets which do not have infinite incomparability antichains (i.e. have the FAC). We define a larger inductive hierarchy κℌ* which characterises the closure of the class of all κ-well-founded linear orders under inversions, lexicographic sums and FAC weakenings. This...
A possibilistic view on set and multiset comparison
A possibility-free logic of descriptions.
A Possible Characterization of Generic Structures.
A possible modal reformulation of comprehension scheme
A primrose path from Krull to Zorn
Given a set of “indeterminates” and a field , an ideal in the polynomial ring is called conservative if it contains with any polynomial all of its monomials. The map yields an isomorphism between the power set and the complete lattice of all conservative prime ideals of . Moreover, the members of any system of finite character are in one-to-one correspondence with the conservative prime ideals contained in , and the maximal members of correspond to the maximal ideals contained in...
A probabilistic approach to automaton-environment systems
A problem on series of ordinals
A Programmatic Note: on two Types of Intertextuality
The note addresses briefly some reactions to a previous article “Deuteronomic Texts: Late Antiquity and the History of Mathematics”. In particular it looks at the question: if indeed any text must depend on previous texts, what makes the dependency of commentary and commentary-like text so special to justify my emphasis on this form of writing ? A suggestion is developed, trying to define Deuteronomic texts through their precise semiotics of intertextuality: in general, it is argued, intertextuality...
A proof (involving Martin's axiom) of a partition relation
A proof of Rasiowa-Sikorski theorem via complete sequences
A proof of Saffe's conjecture
A proof of the independence of the Axiom of Choice from the Boolean Prime Ideal Theorem
We present a proof of the Boolean Prime Ideal Theorem in a transitive model of ZF in which the Axiom of Choice does not hold. We omit the argument based on the full Halpern-Läuchli partition theorem and instead we reduce the proof to its elementary case.
A proof of the valuation property and preparation theorem
The purpose of this article is to present a short model-theoretic proof of the valuation property for a polynomially bounded o-minimal theory T. The valuation property was conjectured by van den Dries, and proved for the polynomially bounded case by van den Dries-Speissegger and for the power bounded case by Tyne. Our proof uses the transfer principle for the theory (i.e. T with an extra unary symbol denoting a proper convex subring), which-together with quantifier elimination-is due to van den...
A Proof Procedure for the First Order Logic
A proof theoretical fine structure in systems of ramified analysis.
A proper class of pairwise incomparable cardinals
A property of stable theories
A property of the solvable radical in finitely decidable varieties
It is shown that in a finitely decidable equational class, the solvable radical of any finite subdirectly irreducible member is comparable to all congruences of the irreducible if the type of the monolith is 2. In the type 1 case we establish that the centralizer of the monolith is strongly solvable.