|
|
|
|
| LEADER |
00000cam a2200000 i 4500 |
| 001 |
ocn891383891 |
| 003 |
OCoLC |
| 005 |
20240909213021.0 |
| 006 |
m o d |
| 007 |
cr cn||||||||| |
| 008 |
140902t19931993riu ob 000 0 eng d |
| 040 |
|
|
|a E7B
|b eng
|e rda
|e pn
|c E7B
|d OCLCO
|d EBLCP
|d DEBSZ
|d OCLCQ
|d OCLCF
|d OCLCQ
|d OCLCO
|d OCLCQ
|d K6U
|d OCLCO
|d OCLCQ
|d QGK
|d OCLCO
|d OCLCL
|d SXB
|d OCLCQ
|
| 019 |
|
|
|a 922981410
|a 1259209983
|
| 020 |
|
|
|a 9781470400804
|q (e-book)
|
| 020 |
|
|
|a 1470400804
|q (e-book)
|
| 020 |
|
|
|z 9780821825655
|
| 035 |
|
|
|a (OCoLC)891383891
|z (OCoLC)922981410
|z (OCoLC)1259209983
|
| 050 |
|
4 |
|a QA9
|b .M355 1993eb
|
| 049 |
|
|
|a HCDD
|
| 100 |
1 |
|
|a Makkai, Mihály,
|d 1939-
|e author.
|1 https://id.oclc.org/worldcat/entity/E39PBJrKRbXYdMdwxrT6VW7vHC
|
| 245 |
1 |
0 |
|a Duality and definability in first order logic /
|c Michael Makkai.
|
| 264 |
|
1 |
|a Providence, Rhode Island :
|b American Mathematical Society,
|c 1993.
|
| 264 |
|
4 |
|c ©1993
|
| 300 |
|
|
|a 1 online resource (122 pages)
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a Memoirs of the American Mathematical Society,
|x 0065-9266 ;
|v Volume 105, Number 503
|
| 500 |
|
|
|a "September 1993, Volume 105, Number 503 (fourth of 6 numbers)."
|
| 504 |
|
|
|a Includes bibliographical references.
|
| 588 |
0 |
|
|a Print version record.
|
| 505 |
0 |
|
|a 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
|
| 546 |
|
|
|a English.
|
| 650 |
|
0 |
|a First-order logic.
|
| 650 |
|
0 |
|a Duality theory (Mathematics)
|
| 650 |
|
0 |
|a Toposes.
|
| 650 |
|
7 |
|a Duality theory (Mathematics)
|2 fast
|
| 650 |
|
7 |
|a First-order logic
|2 fast
|
| 650 |
|
7 |
|a Toposes
|2 fast
|
| 776 |
0 |
8 |
|i Print version:
|a Makkai, Mihály, 1939-
|t Duality and definability in first order logic.
|d Providence, Rhode Island : American Mathematical Society, ©1993
|h x, 106 pages
|k Memoirs of the American Mathematical Society ; Volume 105, Number 503
|x 0065-9266
|z 9780821825655
|
| 830 |
|
0 |
|a Memoirs of the American Mathematical Society ;
|v Volume 105, no. 503.
|
| 856 |
4 |
0 |
|u https://ebookcentral.proquest.com/lib/holycrosscollege-ebooks/detail.action?docID=3113760
|y Click for online access
|
| 903 |
|
|
|a EBC-AC
|
| 994 |
|
|
|a 92
|b HCD
|