On definability of ordinals in logic with infinitely long expressions
From MaRDI portal
Publication:5573956
DOI10.2307/2270452zbMath0183.01102MaRDI 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, On distinguishing quotients of symmetric groups, Errata to: First order theory of permutation groups, First order theory of permutation groups
Cites Work