From: Marek Zawadowski <zawado@mimuw.edu.pl>
To: categories@mta.ca
Subject: Re: Logical consequences of descent theory
Date: Mon, 08 Feb 2010 02:18:30 +0100 [thread overview]
Message-ID: <E1NedKk-0001rp-Bf@mailserv.mta.ca> (raw)
In-Reply-To: <E1NdY9e-0005ZD-Kx@mailserv.mta.ca>
The model-theoretic meaning of the descent theorem is in section 11 of
Marek Zawadowski, Descent and duality. Ann. Pure Appl. Logic 71(2), s.
131-188, 1995.
In few words, it says that the formulas of the 'larger' theory invariant
under the
homomorphisms of the 'smaller' theory 'comes' from that smaller theory.
Some other relevant papers to this approach
Michael Makkai, Duality and Definability in First Order Logic, Mem. Of
AMS, no 503, (1993).
Marek Zawadowski, Lax descent theorems for left exact categories.
Dissertationes Math. 346, (1995).
David Ballard, William Boshuck,Definability and Descent. Journal of
Symbolic Logic 63 (2):372-378, (1998).
Best regards,
Marek
Bas Spitters pisze:
> Dear Dusko,
>
> Thanks. This is interesting, did the Hyland/Moerdijk manuscript you
> cite ever appear?
>
> However, maybe I should have phrased my question as:
> Barr's theorem has an interesting logical corollary.
> This corollary has been used (impressively) by people like Mulvey,
> Vermeulen and Wraith to obtain mathematical results.
>
> I understood that it was suggested that a similar use has been made of
> descent theory.
> Maybe I misunderstood.
>
> Best,
>
> Bas
>
> On Wed, Feb 3, 2010 at 9:02 PM, Dusko Pavlovic <dusko@kestrel.edu> wrote:
>
>> On Feb 3, 2010, at 6:57 AM, Bas Spitters wrote:
>>
>>
>>> A number of people have suggested that descent theory has been/ can be
>>> used to obtain logical results.
>>>
>> [snip]
>>
>>> Any suggestions or pointers about the logical interpretation of
>>> descent theory would be appreciated.
>>>
>> long long time ago there was a paper about the logical meaning of descent
>> with the beck-chevalley condition:
>>
>> @inproceedings{PavlovicD:interpolation,
>> author = "Dusko Pavlovic",
>> title = "Categorical interpolation: descent and the
>> Beck-Chevalley condition without direct images",
>> booktitle = "Category Theory, Proceedings, Como 1990",
>> editor = "A.~Carboni et al.",
>> publisher = "Springer Verlag",
>> series = LNM,
>> volume = "1488",
>> pages = "306--326",
>> year = "1991"
>> }
>>
>> more interestingly, one can also go back, and work out the exact logical
>> conditions for descent, which are weaker than the beck-chevalley.
>>
>> -- dusko
>>
>>
>>
>
>
> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]
>
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
next prev parent reply other threads:[~2010-02-08 1:18 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-02-03 14:57 Bas Spitters
2010-02-03 20:02 ` Dusko Pavlovic
2010-02-05 8:34 ` Bas Spitters
2010-02-08 1:18 ` Marek Zawadowski [this message]
2010-02-12 15:01 ` William Boshuck
2010-02-13 17:40 ` Colin McLarty
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E1NedKk-0001rp-Bf@mailserv.mta.ca \
--to=zawado@mimuw.edu.pl \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).