The syntax and semantics of infinitary languages
From MaRDI portal
Publication:2529601
Cited in
(31)- Maximal infinite-valued constraint languages
- Model theoretic results for infinitely deep languages
- Karp complexity and classes with the independence property
- Using computability to measure complexity of algebraic structures and classes of structures
- On the number of \(L_{\infty\omega_1}\)-equivalent non-isomorphic models
- Three red herrings around Vaught's conjecture
- Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis
- Well-partial orderings and their maximal order types
- scientific article; zbMATH DE number 3982543 (Why is no real title available?)
- scientific article; zbMATH DE number 4028927 (Why is no real title available?)
- Algebraic independence
- A proof-theoretic characterization of the primitive recursive set functions
- Large Models of Countable Height
- Modeloids. I
- Explicit mathematics with the monotone fixed point principle
- Interpolation, preservation, and pebble games
- On the number of automorphisms of uncountable models
- Lower bounds to the size of constant-depth propositional proofs
- 1999–2000 Winter Meeting of the Association for Symbolic Logic
- Two circles and only a straightedge
- INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
- BOREL FUNCTORS AND INFINITARY INTERPRETATIONS
- On Definitions in an Infinitary Language
- On the No-Counterexample Interpretation
- Structural proof theory for first-order weak Kleene logics
- The Limits of Predicativity Revisited
- Transcendental syntax I: deterministic case
- A Note on Model Complete Models and Generic Models
- An Introduction to Lorenzen's ‘Algebraic and Logistic Investigations on Free Lattices’ (1951)
- Feferman's completeness theorem
- Atomic toposes with co-well-founded categories of atoms
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)
