The syntax and semantics of infinitary languages
From MaRDI portal
Publication:2529601
Cited in
(28)- On the number of automorphisms of uncountable models
- 1999–2000 Winter Meeting of the Association for Symbolic Logic
- INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
- Interpolation, preservation, and pebble games
- scientific article; zbMATH DE number 4028927 (Why is no real title available?)
- Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis
- Two circles and only a straightedge
- Maximal infinite-valued constraint languages
- Using computability to measure complexity of algebraic structures and classes of structures
- On the No-Counterexample Interpretation
- 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
- Model theoretic results for infinitely deep languages
- Three red herrings around Vaught's conjecture
- Modeloids. I
- Explicit mathematics with the monotone fixed point principle
- A Note on Model Complete Models and Generic Models
- Well-partial orderings and their maximal order types
- Lower bounds to the size of constant-depth propositional proofs
- Large Models of Countable Height
- The Limits of Predicativity Revisited
- Structural proof theory for first-order weak Kleene logics
- scientific article; zbMATH DE number 3982543 (Why is no real title available?)
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)
