PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
1993 | 143 | 3 | 281-285
Tytuł artykułu

Order with successors is not interprétable in RCF

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
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.
Słowa kluczowe
Rocznik
Tom
143
Numer
3
Strony
281-285
Opis fizyczny
Daty
wydano
1993
otrzymano
1993-03-05
Twórcy
  • Department of Mathematics and Computing, P.O. Box 36 - Al Khod - Pc123, Sultan Qaboos University, Muscat, Sultanate of Oman
Bibliografia
  • [1] L. van den Dries, Algebraic theories with definable Skolem functions, J. Symbolic Logic 49 (1984), 625-629.
  • [2] L. van den Dries, Definable sets in O-minimal structures, lecture notes at the University of Konstanz, spring 1985.
  • [3] L. van den Dries, Tame Topology and O-minimal Structures, book in preparation.
  • [4] J. Krajíček, Some theorems on the lattice of local interpretability types, Z. Math. Logik Grundlag. Math. 31 (1985), 449-460.
  • [5] J. Mycielski, A lattice connected with relative interpretability of theories, J. Symbolic Logic 42 (1977), 297-305.
  • [6] J. Mycielski, P. Pudlák and A. Stern, A lattice of chapters of mathematics, Mem. Amer. Math. Soc. 426 (1991).
  • [7] A. Pillay and C. Steinhorn, Definable sets in ordered structures I, Trans. Amer. Math. Soc. 295 (1986), 565-592.
  • [8] A. Stern, The lattice of local interpretability of theories, Ph.D. Thesis, University of California, Berkeley, March 1984.
  • [9] A. Stern and S. Świerczkowski, A class of connected theories of order, J. Symbolic Logic, to appear.
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-fmv143i3p281bwm
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.