Positively prime models over a normal basic set.
Possible cardinalities of maximal abelian subgroups of quotients of permutation groups of the integers
If G is a group then the abelian subgroup spectrum of G is defined to be the set of all κ such that there is a maximal abelian subgroup of G of size κ. The cardinal invariant A(G) is defined to be the least uncountable cardinal in the abelian subgroup spectrum of G. The value of A(G) is examined for various groups G which are quotients of certain permutation groups on the integers. An important special case, to which much of the paper is devoted, is the quotient of the full symmetric group by the...
Possible-worlds semantics for rule-based expert systems with set-valued weights
Possibly every real function is continuous on a non-meagre set.
Possibly there is no uniformly completely Ramsey null set of size
We show that under the axiom there is no uniformly completely Ramsey null set of size . In particular, this holds in the iterated perfect set model. This answers a question of U. Darji.
Post grammars as a programming language description tool
Postscript to "Built-up systems of fundamental sequences and hierarchies of number-theoretic functions".
Potential isomorphism and semi-proper trees
We study a notion of potential isomorphism, where two structures are said to be potentially isomorphic if they are isomorphic in some generic extension that preserves stationary sets and does not add new sets of cardinality less than the cardinality of the models. We introduce the notion of weakly semi-proper trees, and note that there is a strong connection between the existence of potentially isomorphic models for a given complete theory and the existence of weakly semi-proper trees. ...
Power Series Solutions of Algebraic Differential Equations.
Powerful digraphs.
Powers and generalized cardinal numbers for HCH-objects --- basic notions.
Poznámky k axiomatizaci planimetrie
Axiomatická metoda je považována za hlavní metodu, kterou je dnes matematika formalizována. Není však jedinou, navíc prošla v průběhu tisíciletí poměrně pestrým vývojem. V tomto příspěvku se pokusíme na základě charakterizace různých typů formalizace matematiky zařadit nejznámější pokusy o axiomatizaci eukleidovské geometrie, zejména Eukleidův, Hilbertův a Birkhoffův.
Prädikatenlogik mit partiell definierten Funktionen.
Prädikatenlogik mit partiell definierten Funktionen II.
Pre-adjunctions and lambda-algebraic theories
Preboolean MV-algebras as bipartite MV-algebras.
In this note we characterize bipartite MV-algebras by introducing the notion of preboolean MV-algebras.
Precomplete classes of operations on an uncountable set
Predicate calculus and naive set theory in pure combinatory logic.
Predicate calculus of arbitrarily high finite order.
Predicates and measures on Boolean σ-algebras