On definability of ordinals in logic with infinitely long expressions
From MaRDI portal
Publication:5573956
DOI10.2307/2270452zbMath0183.01102OpenAlexW2108294528MaRDI QIDQ5573956
Publication date: 1966
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2270452
Related Items
Models with second order properties. IV. A general method and eliminating diamonds ⋮ Errata to: First order theory of permutation groups ⋮ First order theory of permutation groups ⋮ On distinguishing quotients of symmetric groups
Cites Work