Remarks on predicate logic with infinitely long expressions
From MaRDI portal
Publication:5730889
DOI10.4064/cm-6-1-171-176zbMath0119.25003OpenAlexW301673084MaRDI QIDQ5730889
Publication date: 1958
Published in: Colloquium Mathematicum (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/210356
Related Items (12)
A reduction-principle for infinite formulas ⋮ Modeling limits in hereditary classes: reduction and application to trees ⋮ Adjunction of a strong unit to a hyper-Archimedean lattice-ordered group ⋮ Uncountable structures are not classifiable up to bi-embeddability ⋮ Löwenheim-Skolem and interpolation theorems in infinitary languages ⋮ Note on locally definable classes of structures ⋮ The theory of transfinite recursion ⋮ Unnamed Item ⋮ Compactness in Infinitary Gödel Logics ⋮ The Craig interpolation theorem in abstract model theory ⋮ Key notions of Tarski's methodology of deductive systems ⋮ An Ehrenfeucht-Fraïssé game for Lω1ω
This page was built for publication: Remarks on predicate logic with infinitely long expressions
