SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Fundamenta Mathematicae

Volumn 171, Issue 3, 2002, Pages 197-211

Decidability and definability results related to the elementary theory of ordinal multiplication

(1) Bès, Alexis a

a UNIVERSITÉ PARIS EST CRÉTEIL (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0036037619 PISSN: 00162736 EISSN: None Source Type: Journal
DOI: 10.4064/fm171-3-1 Document Type: Article

Times cited : (7)

References (19)

1
- 70350098746
- Weak second-order arithmetic and finite automata
- (1960) Z. Math. Logik Grundlagen Math. , vol.6 , pp. 66-92
- Büchi, J.R.¹

2
- 0001785830
- Transfinite automata recursions and weak second order theory of ordinals
- North-Holland
- (1965) Logic Methodology Philos. Sci. (Proc. 1964 Internat. Congr.) , pp. 3-23

3
- 0003162815
- Théorie élémentaire de la multiplication des entiers naturels
- Model Theory and Arithmetic (Paris, 1979/80), Springer
- (1981) Lecture Notes in Math. , vol.890 , pp. 44-89
- Cegielski, P.¹

4
- 79959448181
- The elementary theory of well-ordering - A metamathematical study
- North-Holland
- (1978) Proc. Logic Colloquium '77, Stud. Logic Found. Math. , vol.96 , pp. 1-54
- Doner, J.E.¹ Mostowski, A.² Tarski, A.³

5
- 0000918436
- An application of games to the completeness problem for formalized theories
- (1961) Fund. Math. , vol.49 , pp. 129-141
- Ehrenfeucht, A.¹

6
- 0002626181
- The first order properties of products of algebraic systems
- (1959) Fund. Math. , vol.47 , pp. 57-103
- Feferman, S.¹ Vaught, R.L.²

7
- 0005272664
- On direct products of automaton decidable theories
- (1982) Theoret. Comput. Sci. , vol.19 , pp. 331-335
- Hodgson, B.R.¹

8
- 0003620778
- Addison-Wesley
- (1979) Introduction to Automata Theory, Languages, and Computation
- Hopcroft, J.E.¹ Ullman, J.D.²

9
- 0005310168
- Über der aufbau der transfiniter arithmetik
- (1909) Math. Ann. , vol.66 , pp. 145-194
- Jacobsthal, E.¹

10
- 0031574507
- Ehrenfeucht games and ordinal addition
- (1997) Ann. Pure Appl. Logic , vol.89 , pp. 53-73
- Maurin, F.¹

11
- 0001699148
- Recursive unsolvability of post's problem of "tag" and other topics in theory of Turing machines
- (1961) Ann. of Math. , vol.74 , pp. 437-455
- Minsky, M.L.¹

12
- 0001962915
- On direct products of theories
- (1952) J. Symbolic Logic , vol.17 , pp. 1-31
- Mostowski, A.¹

13
- 0005271832
- Arithmetical classes and types of well ordered systems
- (1949) Bull. Amer. Math. Soc. , vol.55 , pp. 65
- Mostowski, A.¹ Tarski, A.²

14
- 0005274623
- On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation
- transl. by D. Jacquette
- (1991) Hist. Philos. Logic , vol.12 , pp. 225-233
- Presburger, M.¹

15
- 0001291845
- Concatenation as a basis for arithmetic
- (1946) J. Symbolic Logic , vol.11 , pp. 105-114
- Quine, W.J.¹

16
- 33847763935
- Decidable theories
- Handbook of Mathematical Logic, J. Barwise (ed.), North-Holland
- (1977) Stud. Logic Found. Math. , vol.90 , pp. 595-629
- Rabin, M.O.¹

17
- 0004061291
- PWN, Warszawa
- (1965) Cardinal and Ordinal Numbers, 2nd ed.
- Sierpiński, W.¹

18
- 0005385623
- Über gewisse satzfunktionen in der arithmetik
- (1930) Skr. Norske Videnskaps-Akademie i Oslo , vol.7
- Skolem, T.¹

19
- 0005317761
- On the work of Andrzej Ehrenfeucht in model theory
- Structures in Logic and Computer Science. A Selection of Essays in Honor of Andrzej Ehrenfeucht (J. Mycielski, ed.), Springer
- (1997) Lecture Notes in Comput. Sci. , vol.1261 , pp. 1-13
- Vaught, R.L.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.