On cut elimination in the presence of peirce rule.
On interpolation when function symbols are present.
On models of certain formulas with a predicate letter of lenght n
On necessary but not-sufficient conditions.
On the decidability of p', p'' and p''*.
On The Greatest Congruence Of Relations
On the greatest congruence of relations.
Order with successors is not interprétable in RCF
Using the monotonicity theorem of L. van den Dries for RCF-definable real functions, and a further result of that author about RCF-definable equivalence relations on ℝ, we show that the theory of order with successors is not interpretable in the theory RCF. This confirms a conjecture by J. Mycielski, P. Pudlák and A. Stern.