Annual Meeting of the Association for Symbolic Logic, Los Angeles, 1989
From MaRDI portal
Publication:3478380
DOI10.2307/2275003zbMath0701.03003OpenAlexW2122039083MaRDI QIDQ3478380
No author found.
Publication date: 1990
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275003
Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Petri nets and large finite sets
- PARLE. Parallel architectures and languages Europe. Eindhoven, The Netherlands, June 15-19, 1987. Proceedings. Volume II: Parallel languages
- Menas' conjecture and generic ultrapowers
- On countable locally described structures
- Bounded arithmetic and truth definition
- The calculus of constructions
- Computation on graph-like expressions
- Mathematical intuition. Phenomenology and mathematical knowledge
- Which set existence axioms are needed to prove the separable Hahn-Banach theorem?
- The complexity of the word problems for commutative semigroups and polynomial ideals
- A Topological Model for Intuitionistic Analysis with Kripke's Scheme
- Assessing Test Data Adequacy through Program Inference
- Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?
- Enumeration operators and modular logic programming
- A sequent calculus for type assignment
- A new implementation technique for applicative languages
- Application of model theoretic games to discrete linear orders and finite automata
- Provability of the pigeonhole principle and the existence of infinitely many primes