Remarks on predicate logic with infinitely long expressions
From MaRDI portal
Cited in
(13)- The Craig interpolation theorem in abstract model theory
- Key notions of Tarski's methodology of deductive systems
- 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
- Compactness in infinitary Gödel logics
- An Ehrenfeucht-Fraïssé game for \(\mathcal L_{\omega_1\omega}\)
- The theory of transfinite recursion
- Note on locally definable classes of structures
- scientific article; zbMATH DE number 7577568 (Why is no real title available?)
- Uncountable structures are not classifiable up to bi-embeddability
- Löwenheim-Skolem and interpolation theorems in infinitary languages
- Inferential quantification and the -rule
This page was built for publication: Remarks on predicate logic with infinitely long expressions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5730889)
