The syntax and semantics of infinitary languages
From MaRDI portal
Publication:2529601
DOI10.1007/BFb0079679zbMath0165.00102OpenAlexW608002378MaRDI QIDQ2529601
No author found.
Publication date: 1968
Published in: Lecture Notes in Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bfb0079679
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items (21)
Interpolation, preservation, and pebble games ⋮ On the number of automorphisms of uncountable models ⋮ Two circles and only a straightedge ⋮ Lower bounds to the size of constant-depth propositional proofs ⋮ Modeloids. I ⋮ A proof-theoretic characterization of the primitive recursive set functions ⋮ On the number of ${L}_{\infty \omega _1}$-equivalent non-isomorphic models ⋮ Well-Partial Orderings and their Maximal Order Types ⋮ BOREL FUNCTORS AND INFINITARY INTERPRETATIONS ⋮ A Note on Model Complete Models and Generic Models ⋮ Using computability to measure complexity of algebraic structures and classes of structures ⋮ Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis ⋮ Three red herrings around Vaught’s conjecture ⋮ On the No-Counterexample Interpretation ⋮ Large Models of Countable Height ⋮ Structural proof theory for first-order weak Kleene logics ⋮ Explicit mathematics with the monotone fixed point principle ⋮ The Limits of Predicativity Revisited ⋮ Algebraic independence ⋮ Karp complexity and classes with the independence property ⋮ 1999–2000 Winter Meeting of the Association for Symbolic Logic
This page was built for publication: The syntax and semantics of infinitary languages