The syntax and semantics of infinitary languages
From MaRDI portal
Publication:2529601
DOI10.1007/BFB0079679zbMATH Open0165.00102OpenAlexW608002378MaRDI QIDQ2529601FDOQ2529601
Authors:
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 mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Cited In (28)
- 1999–2000 Winter Meeting of the Association for Symbolic Logic
- INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
- Interpolation, preservation, and pebble games
- Title not available (Why is that?)
- Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis
- Two circles and only a straightedge
- Maximal infinite-valued constraint languages
- On the No-Counterexample Interpretation
- Using computability to measure complexity of algebraic structures and classes of structures
- A proof-theoretic characterization of the primitive recursive set functions
- On Definitions in an Infinitary Language
- On the number of \(L_{\infty\omega_1}\)-equivalent non-isomorphic models
- Transcendental syntax I: deterministic case
- Algebraic independence
- BOREL FUNCTORS AND INFINITARY INTERPRETATIONS
- Karp complexity and classes with the independence property
- Three red herrings around Vaught's conjecture
- Model theoretic results for infinitely deep languages
- Modeloids. I
- A Note on Model Complete Models and Generic Models
- Explicit mathematics with the monotone fixed point principle
- Lower bounds to the size of constant-depth propositional proofs
- Well-partial orderings and their maximal order types
- Large Models of Countable Height
- The Limits of Predicativity Revisited
- Structural proof theory for first-order weak Kleene logics
- Title not available (Why is that?)
- On the number of automorphisms of uncountable models
This page was built for publication: The syntax and semantics of infinitary languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2529601)
