2003 Annual Meeting of the Association for Symbolic Logic
From MaRDI portal
Publication:4678936
DOI10.1017/S1079898600004248zbMath1059.03503MaRDI QIDQ4678936
No author found.
Publication date: 24 May 2005
Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)
Collections of abstracts of lectures (00B05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Cites Work
- Unnamed Item
- Unnamed Item
- Intuitionistic validity in \(T\)-normal Kripke structures
- Functional interpretations of feasibly constructive arithmetic
- Equivalential logics. II
- Ramsey's theorem with sums or unions
- Characterizing equivalential and algebraizable logics by the Leibniz operator
- Mann iterates of directionally nonexpansive mappings in hyperbolic spaces
- Generic pairs of SU-rank 1 structures
- Join-semidistributive lattices and convex geometries.
- Categorical abstract algebraic logic: Algebraizable institutions
- Proof mining in \(L_{1}\)-approximation
- Uniform asymptotic regularity for Mann iterates.
- Fragments of HA based on \(\Sigma_ 1\)-induction
- Toward classifying unstable theories
- Preface for Studia Logica special issue (2)
- Equivalential and algebraizable logics
- A QUANTITATIVE VERSION OF A THEOREM DUE TO BORWEIN-REICH-SHAFRIR
- On the weak pigeonhole principle
- Paires de structures stables
- D.R.E. Degrees and the Nondiamond Theorem
- Generalized quantifiers and natural language
- On the structure of kripke models of heyting arithmetic
- A feasible theory for analysis
- Isolation and lattice embeddings
- Semantics for relevant logics
- Ramsey's theorem and recursion theory
- Kolmogorov Complexity and Instance Complexity of Recursively Enumerable Sets
- Intrinsic reasoning about functional programs. I: First order theories
This page was built for publication: 2003 Annual Meeting of the Association for Symbolic Logic
