On characterizability in Lω1ω0

DOI10.1111/j.1755-2567.1966.tb00598.xzbMath1230.03071OpenAlexW2048595719MaRDI QIDQ3113044

No author found.

Publication date: 7 February 2012

Published in: Theoria (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1111/j.1755-2567.1966.tb00598.x

zbMATH Keywords

well-ordered systems

Mathematics Subject Classification ID

Other infinitary logic (03C75) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (3)

An Extension of the Ehrenfeucht-Fraïssé Game for First Order Logics Augmented with Lindström Quantifiers ⋮ The many faces of interpolation ⋮ The Craig interpolation theorem in abstract model theory

This page was built for publication: On characterizability in Lω1ω0