Book contents
- Frontmatter
- Preface
- Opening speech of Petr Vopěnka
- Bolzano Medal awarded to Gaisi Takeuti
- Contents
- Collapsing Polynomial-Time Degrees
- Qualitative and Probabilistic Models of Full Belief
- Relative Splittings of in the-Enumeration Degrees
- A Realizability Interpretation for Classical Arithmetic
- An Axiomatization of Quantified Propositional Gödel Logic Using the Takeuti-Titani Rule
- Another Pathological Well-Ordering
- How Small Can the Set of Generics Be?
- Entailment Relations and Distributive Lattices
- The Friedberg Jump Inversion Theorem Revisited: A Study of Undefinable Cuts
- Hartley Rogers’ 1965 Agenda
- Liftings of Homomorphisms Between Quotient Structures and Ulam Stability
- Mathematical Fuzzy Logic – State of Art
- Reflections on the Last Delfino Problem
- Continuous Images of Coanalytic Sets
- Classification of Subsheaves over GL-Algebras
- On the Bit-Comprehension Rule
- Cardinal Invariants Associated with Predictors
- A Theorem on Countable Ordered Sets with an Application to Universal Graphs
- Dimension Theory and Smooth Stratification of Rigid Subanalytic Sets
- The Ramsey Structure of A-Determined Sets in a Saturated Universe
- On Definability of Admissible Sets
- Additive Theories
- Adding Multiplication to an O-minimal Expansion of the Additive Group of Real Numbers
- The Superjump in Martin-Löf Type Theory
- “Just Because”: Taking Belief Bases Seriously
- Artin Approximation via the Model Theory of Cohen-Macaulay Rings
- Ordinal Systems, Part 2: One Inaccessible
- Autonomous Fixed Point Progressions and Fixed Point Transfinite Recursion
- Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinals
- The Complexity of Linear Logic with Weakening
- Some Remarks on the Maximality of Inner Models
- Author Index
- References
Classification of Subsheaves over GL-Algebras
Published online by Cambridge University Press: 31 March 2017
By
Book contents
- Frontmatter
- Preface
- Opening speech of Petr Vopěnka
- Bolzano Medal awarded to Gaisi Takeuti
- Contents
- Collapsing Polynomial-Time Degrees
- Qualitative and Probabilistic Models of Full Belief
- Relative Splittings of in the-Enumeration Degrees
- A Realizability Interpretation for Classical Arithmetic
- An Axiomatization of Quantified Propositional Gödel Logic Using the Takeuti-Titani Rule
- Another Pathological Well-Ordering
- How Small Can the Set of Generics Be?
- Entailment Relations and Distributive Lattices
- The Friedberg Jump Inversion Theorem Revisited: A Study of Undefinable Cuts
- Hartley Rogers’ 1965 Agenda
- Liftings of Homomorphisms Between Quotient Structures and Ulam Stability
- Mathematical Fuzzy Logic – State of Art
- Reflections on the Last Delfino Problem
- Continuous Images of Coanalytic Sets
- Classification of Subsheaves over GL-Algebras
- On the Bit-Comprehension Rule
- Cardinal Invariants Associated with Predictors
- A Theorem on Countable Ordered Sets with an Application to Universal Graphs
- Dimension Theory and Smooth Stratification of Rigid Subanalytic Sets
- The Ramsey Structure of A-Determined Sets in a Saturated Universe
- On Definability of Admissible Sets
- Additive Theories
- Adding Multiplication to an O-minimal Expansion of the Additive Group of Real Numbers
- The Superjump in Martin-Löf Type Theory
- “Just Because”: Taking Belief Bases Seriously
- Artin Approximation via the Model Theory of Cohen-Macaulay Rings
- Ordinal Systems, Part 2: One Inaccessible
- Autonomous Fixed Point Progressions and Fixed Point Transfinite Recursion
- Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinals
- The Complexity of Linear Logic with Weakening
- Some Remarks on the Maximality of Inner Models
- Author Index
- References
- Type
- Chapter
- Information
- Logic Colloquium '98 , pp. 238 - 261Publisher: Cambridge University PressPrint publication year: 2000
References
, and Strecker, Abstract and Concrete Categories (John Wiley & Sons, New York 1990).
and e.g. Manes, Arrows, Structures and Functors. The Categorical Imperative (Academic Press, New York 1975).
and , An invitation to Chang's MV-algebras, in: Advances in Algebra and Model Theory, (eds. , , 171–197 (Gordon and Breach Publishing Group, Reading (UK) 1997).
, and , Classification of extremal subobjects of algebras over SM-SET, in: Applications of Category Theory to Fuzzy Subsets (eds. et al.), 9–31 (Kluwer Academic Publishers, Dordrecht, Boston, 1992).
and , Sheaves and logic, in: Applications of Sheaves, Lecture Notes in Mathematics 753, 302–401 (Springer-Verlag, Berlin, New York 1979).
, Topoi: TheCategorial Analysis of Logic (North-Holland, Amsterdam 1979).
, A category approach to Boolean-valued set theory (Preprint, Waterloo 1973).
, Monoidalclosed categories, weak topoi and generalized logics, Fuzzy Sets and Systems 42 (1991), 15–35.
, M-Valued sets and sheaves over integral, commutative cl-monoids, in : Applications of Category Theory to Fuzzy Subsets (eds. et al.), 33–72 (Kluwer Academic Publishers, Dordrecht, Boston, 1992).
, Commutative, residuated l-monoids, in: Non-Classical Logics and Their Applications to Fuzzy Subsets (eds. and ), 53–106 (Kluwer Academic Publishers, Dordrecht, Boston, 1995).
, Presheaves over GL-monoids, in: Non-Classical Logics and Their Applications to Fuzzy Subsets (eds. and ), 127–157 (Kluwer Academic Publishers, Dordrecht, New York 1995). e.g. Manes, Algebraic Theories (Springer-Verlag, Berlin, New York 1976).
, Categories (Springer-Verlag, Berlin, New York 1972).
, Proofs of non-deducibility in intuitionistic functional calculus, J. Symbolic Logic 13 (1948), 204–207.Google Scholar
and , The Mathematics of Metamathematics, third edition (Polish Scientific Publishers, Warszawa 1970).
, Identity and existence in intuitionistic logic, in: Applications of Sheaves, Lecture Notes in Mathematics 753, 660–696 (Springer-Verlag, Berlin, New York 1979).
, Quantales and TheirApplications, PitmanResearchNotes in Mathematics 234 (Longman, Burnt Mill, Harlow 1990).
- 10
- Cited by