On definability of ordinals in logic with infinitely long expressions
- 2 September 1966
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 31 (3) , 365-375
- https://doi.org/10.2307/2270452
Abstract
Let Ω be an infinite cardinal larger than ω. By Lω we mean a language with infinitely long expressions having no individual constants, and such that the only predicates are < and =, and the length of ν or ∃ in a formula in Lω is smaller than Ω (cf. §2).Keywords
This publication has 4 references indexed in Scilit:
- On predicates with constructive infinitely long expressionsJournal of the Mathematical Society of Japan, 1963
- Transfinite Zahlen. By H. Bachmann. Pp. vii, 204. DM 29.80. 1955. Ergebnisse der Mathematik, New Series, 1. (Springer, Berlin)The Mathematical Gazette, 1956
- Transfinite ZahlenPublished by Springer Nature ,1955
- A metamathematical theorem on the theory of ordinal numbers.Journal of the Mathematical Society of Japan, 1952