European Summer Meeting of the Association for Symbolic Logic, Paris, 1985
From MaRDI portal
Publication:4724593
DOI10.2307/2273893zbMath0616.03002OpenAlexW2063857278MaRDI QIDQ4724593
No author found.
Publication date: 1987
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273893
Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Fragments of arithmetic
- Positive results in abstract model theory: a theory of compact logics
- \(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures
- Countable algebra and set existence axioms
- A finite axiomatization of the set of strongly valid Ockhamist formulas
- On the definability of the quantifier there exist uncountably many
- Floyd's principle, correctness theories and program equivalence
- An algebraic approach to non-classical logics
- REGULAR RELATIONS AND THE QUANTIFIER “THERE EXIST UNCOUNTABLY MANY”
- Functors and ordinal notations. I: A functorial construction of the veblen hierarchy
- On a construction of the universal field of fractions of a free algebra
- On the efficiency of subsumption algorithms
- Axiomatic Definitions of Programming Languages
- The Notion of Logical Consequence in the Logic of Inexact Predicates
- The generalised RK-order, orthogonality and regular types for modules
- An algorithm to determine, for any prime p, a polynomial-sized Horn sentence which expresses “The cardinality is not p”
- Identity, Fuzziness and Noncontradiction
- Logic with the quantifier “there exist uncountably many”
- Horn sentences in identity theory
