ORPP logo
Image from Google Jackets

Duality and Definability in First Order Logic.

By: Material type: TextTextSeries: Memoirs of the American Mathematical SocietyPublisher: Providence : American Mathematical Society, 1993Copyright date: ©1993Edition: 1st edDescription: 1 online resource (122 pages)Content type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9781470400804
Subject(s): Genre/Form: Additional physical formats: Print version:: Duality and Definability in First Order LogicDDC classification:
  • 511.3
LOC classification:
  • QA9 -- .M355 1993eb
Online resources:
Contents:
Intro -- Table Of Contents -- Abstract -- Introduction -- 1. Beth's theorem for propositional logic -- 2. Factorizations in 2-categories -- 3. Definable functors -- 4. Basic notions for duality -- 5. The Stone-type adjunction for Boolean pretoposes and ultragroupoids -- 6. The syntax of special ultramorphisms -- 7. The semantics of special ultramorphisms -- 8. The duality theorem -- 9. Preparing a functor specification -- 10. Lifting Zawadowski's argument to ultra*morphisms -- 11. The operations in BP* and UG -- 12. Conclusion -- References.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

Intro -- Table Of Contents -- Abstract -- Introduction -- 1. Beth's theorem for propositional logic -- 2. Factorizations in 2-categories -- 3. Definable functors -- 4. Basic notions for duality -- 5. The Stone-type adjunction for Boolean pretoposes and ultragroupoids -- 6. The syntax of special ultramorphisms -- 7. The semantics of special ultramorphisms -- 8. The duality theorem -- 9. Preparing a functor specification -- 10. Lifting Zawadowski's argument to ultra*morphisms -- 11. The operations in BP* and UG -- 12. Conclusion -- References.

Description based on publisher supplied metadata and other sources.

Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2024. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.

There are no comments on this title.

to post a comment.

© 2024 Resource Centre. All rights reserved.