Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Homolka's thesis
44 views
Skip to first unread message
Peter Percival
Jan 28, 2017, 4:48:35 PM1/28/17
to
If anyone knows where on the Interweb there is a copy of Vincent
Homolka's thesis /A System of Finite Set Theory Equivalent to Elementary
Arithmetic/ I'd be happy to be told.
Submitted in 1983, so pre TeX, but some enterprising person may have
scanned it... (Yes, I know that TeX dates from the late 70s, but I
think that a few years passed before it was used for Rightpondian theses
(and when it was, double spacing was still required for yet more years -
strange).)
--
Do, as a concession to my poor wits, Lord Darlington, just explain
to me what you really mean.
I think I had better not, Duchess. Nowadays to be intelligible is
to be found out. -- Oscar Wilde, Lady Windermere's Fan
Homolka's thesis /A System of Finite Set Theory Equivalent to Elementary
Arithmetic/ I'd be happy to be told.
Submitted in 1983, so pre TeX, but some enterprising person may have
scanned it... (Yes, I know that TeX dates from the late 70s, but I
think that a few years passed before it was used for Rightpondian theses
(and when it was, double spacing was still required for yet more years -
strange).)
--
Do, as a concession to my poor wits, Lord Darlington, just explain
to me what you really mean.
I think I had better not, Duchess. Nowadays to be intelligible is
to be found out. -- Oscar Wilde, Lady Windermere's Fan
William Elliot
Jan 30, 2017, 4:15:28 AM1/30/17
to
On Sat, 28 Jan 2017, Peter Percival wrote:
> If anyone knows where on the Interweb there is a copy of Vincent
> Homolka's thesis /A System of Finite Set Theory Equivalent to
> Elementary
> Arithmetic/ I'd be happy to be told.
Use a search engine such as Duckduckgo that's more to the point and
> If anyone knows where on the Interweb there is a copy of Vincent
> Homolka's thesis /A System of Finite Set Theory Equivalent to
> Elementary
> Arithmetic/ I'd be happy to be told.
doesn't track your browsing history.
Jack Campin
Jan 30, 2017, 6:17:34 PM1/30/17
to
William Elliot <ma...@panix.com> wrote:
> On Sat, 28 Jan 2017, Peter Percival wrote:
> > If anyone knows where on the Interweb there is a copy of Vincent
> > Homolka's thesis /A System of Finite Set Theory Equivalent to
> > Elementary Arithmetic/ I'd be happy to be told.
> Use a search engine such as Duckduckgo that's more to the point
> and doesn't track your browsing history.
If it's so good, have you found that thesis yet?
> On Sat, 28 Jan 2017, Peter Percival wrote:
> > If anyone knows where on the Interweb there is a copy of Vincent
> > Homolka's thesis /A System of Finite Set Theory Equivalent to
> > Elementary Arithmetic/ I'd be happy to be told.
> Use a search engine such as Duckduckgo that's more to the point
> and doesn't track your browsing history.
-----------------------------------------------------------------------------
e m a i l : j a c k @ c a m p i n . m e . u k
Jack Campin, 11 Third Street, Newtongrange, Midlothian EH22 4PU, Scotland
mobile 07800 739 557 <http://www.campin.me.uk> Twitter: JackCampin
William Elliot
Jan 31, 2017, 1:43:22 AM1/31/17
to
On Mon, 30 Jan 2017, Jack Campin wrote:
> William Elliot <ma...@panix.com> wrote:
> > On Sat, 28 Jan 2017, Peter Percival wrote:
> > > If anyone knows where on the Interweb there is a copy of Vincent
> > > Homolka's thesis /A System of Finite Set Theory Equivalent to
> > > Elementary Arithmetic/ I'd be happy to be told.
> > Use a search engine such as Duckduckgo that's more to the point
> > and doesn't track your browsing history.
>
> If it's so good, have you found that thesis yet?
Yes.
> William Elliot <ma...@panix.com> wrote:
> > On Sat, 28 Jan 2017, Peter Percival wrote:
> > > If anyone knows where on the Interweb there is a copy of Vincent
> > > Homolka's thesis /A System of Finite Set Theory Equivalent to
> > > Elementary Arithmetic/ I'd be happy to be told.
> > Use a search engine such as Duckduckgo that's more to the point
> > and doesn't track your browsing history.
>
> If it's so good, have you found that thesis yet?
Peter Percival
Jan 31, 2017, 9:57:32 AM1/31/17
to
Peter Percival
Jan 31, 2017, 10:11:13 AM1/31/17
to
Peter Percival wrote:
> William Elliot wrote:
>> On Mon, 30 Jan 2017, Jack Campin wrote:
>>> William Elliot <ma...@panix.com> wrote:
>>>> On Sat, 28 Jan 2017, Peter Percival wrote:
>>
>>>>> If anyone knows where on the Interweb there is a copy of Vincent
>>>>> Homolka's thesis /A System of Finite Set Theory Equivalent to
>>>>> Elementary Arithmetic/ I'd be happy to be told.
>>>> Use a search engine such as Duckduckgo that's more to the point
>>>> and doesn't track your browsing history.
>>>
>>> If it's so good, have you found that thesis yet?
Um... William replied "yes" and I seem to have deleted it. Had I not
> William Elliot wrote:
>> On Mon, 30 Jan 2017, Jack Campin wrote:
>>> William Elliot <ma...@panix.com> wrote:
>>>> On Sat, 28 Jan 2017, Peter Percival wrote:
>>
>>>>> If anyone knows where on the Interweb there is a copy of Vincent
>>>>> Homolka's thesis /A System of Finite Set Theory Equivalent to
>>>>> Elementary Arithmetic/ I'd be happy to be told.
>>>> Use a search engine such as Duckduckgo that's more to the point
>>>> and doesn't track your browsing history.
>>>
>>> If it's so good, have you found that thesis yet?
done so...
> Please let me know where. Thank you.
William Elliot
Feb 1, 2017, 7:41:03 AM2/1/17
to
On Tue, 31 Jan 2017, Peter Percival wrote:
> William Elliot wrote:
> > On Mon, 30 Jan 2017, Jack Campin wrote:
> > > > On Sat, 28 Jan 2017, Peter Percival wrote:
> >
> > > > > If anyone knows where on the Interweb there is a copy of
> > > > > Vincent Homolka's thesis /A System of Finite Set Theory
> > > > > Equivalent to Elementary Arithmetic/ I'd be happy to be
> > > > > told.
> > > > Use a search engine such as Duckduckgo that's more to the point
> > > > and doesn't track your browsing history.
> > >
> > > If it's so good, have you found that thesis yet?
>
> Please let me know where. Thank you.
3. [4]CiteSeerX -- On interpretations of bounded arithmetic
> William Elliot wrote:
> > On Mon, 30 Jan 2017, Jack Campin wrote:
> > > > On Sat, 28 Jan 2017, Peter Percival wrote:
> >
> > > > > If anyone knows where on the Interweb there is a copy of
> > > > > Vincent Homolka's thesis /A System of Finite Set Theory
> > > > > Equivalent to Elementary Arithmetic/ I'd be happy to be
> > > > > told.
> > > > Use a search engine such as Duckduckgo that's more to the point
> > > > and doesn't track your browsing history.
> > >
> > > If it's so good, have you found that thesis yet?
>
> Please let me know where. Thank you.
and ...
On interpretations of bounded arithmetic and bounded set
theory (807) Cached. ... A System of Finite Set Theory
Equivalent to Elementary Arithmetic - Homolka ...
citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.248.2273
4. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.248.2273
Peter Percival
Feb 1, 2017, 10:33:25 AM2/1/17
to
is available there is Pettigrew's paper which cites Homolka. (Citations
aplenty I found when I first looked.)
FredJeffries
Feb 1, 2017, 12:48:38 PM2/1/17
to
On Saturday, January 28, 2017 at 1:48:35 PM UTC-8, Peter Percival wrote:
> If anyone knows where on the Interweb there is a copy of Vincent
> Homolka's thesis /A System of Finite Set Theory Equivalent to Elementary
> Arithmetic/ I'd be happy to be told.
It does not seem to be available online through ProQuest
> If anyone knows where on the Interweb there is a copy of Vincent
> Homolka's thesis /A System of Finite Set Theory Equivalent to Elementary
> Arithmetic/ I'd be happy to be told.
http://www.proquest.com/products-services/dissertations/
Peter Percival
Feb 1, 2017, 12:52:43 PM2/1/17
to
https://uk.linkedin.com/in/vincent-homolka-300769a1. So he may be
emailable.
Jack Campin
Feb 2, 2017, 8:15:43 AM2/2/17
to
> If anyone knows where on the Interweb there is a copy of Vincent
> Homolka's thesis /A System of Finite Set Theory Equivalent to
> Elementary Arithmetic/ I'd be happy to be told.
Looks like you can get to look at it on paper at the Bristol
> Homolka's thesis /A System of Finite Set Theory Equivalent to
> Elementary Arithmetic/ I'd be happy to be told.
University library:
http://pmt-eu.hosted.exlibrisgroup.com/primo_library/libweb/action/display.do?tabs=detailsTab&ct=display&fn=search&doc=44BU_LMS_DS000380489&indx=2&recIds=44BU_LMS_DS000380489&recIdxs=1&elementId=1&renderMode=poppedOut&displayMode=full&frbrVersion=2&frbg=&&dscnt=0&scp.scps=scope%3A%2844BU_LMS_DS%29%2Cscope%3A%2844BU_SFX_DS%29%2Cscope%3A%2844BU_CALM_DS%29%2Cprimo_central_multiple_fe&tb=t&mode=Basic&vid=44BU_VU1&srt=rank&tab=default_tab&dum=true&vl%28freeText0%29=homolka&dstmp=1486041133940
Peter Percival
Feb 2, 2017, 8:48:27 AM2/2/17
to
Jack Campin wrote:
>> If anyone knows where on the Interweb there is a copy of Vincent
>> Homolka's thesis /A System of Finite Set Theory Equivalent to
>> Elementary Arithmetic/ I'd be happy to be told.
>
> Looks like you can get to look at it on paper at the Bristol
> University library:
>
> http://pmt-eu.hosted.exlibrisgroup.com/primo_library/libweb/action/display.do?tabs=detailsTab&ct=display&fn=search&doc=44BU_LMS_DS000380489&indx=2&recIds=44BU_LMS_DS000380489&recIdxs=1&elementId=1&renderMode=poppedOut&displayMode=full&frbrVersion=2&frbg=&&dscnt=0&scp.scps=scope%3A%2844BU_LMS_DS%29%2Cscope%3A%2844BU_SFX_DS%29%2Cscope%3A%2844BU_CALM_DS%29%2Cprimo_central_multiple_fe&tb=t&mode=Basic&vid=44BU_VU1&srt=rank&tab=default_tab&dum=true&vl%28freeText0%29=homolka&dstmp=1486041133940
Thank you. That's an impressive URL.
>> If anyone knows where on the Interweb there is a copy of Vincent
>> Homolka's thesis /A System of Finite Set Theory Equivalent to
>> Elementary Arithmetic/ I'd be happy to be told.
>
> Looks like you can get to look at it on paper at the Bristol
> University library:
>
> http://pmt-eu.hosted.exlibrisgroup.com/primo_library/libweb/action/display.do?tabs=detailsTab&ct=display&fn=search&doc=44BU_LMS_DS000380489&indx=2&recIds=44BU_LMS_DS000380489&recIdxs=1&elementId=1&renderMode=poppedOut&displayMode=full&frbrVersion=2&frbg=&&dscnt=0&scp.scps=scope%3A%2844BU_LMS_DS%29%2Cscope%3A%2844BU_SFX_DS%29%2Cscope%3A%2844BU_CALM_DS%29%2Cprimo_central_multiple_fe&tb=t&mode=Basic&vid=44BU_VU1&srt=rank&tab=default_tab&dum=true&vl%28freeText0%29=homolka&dstmp=1486041133940
0 new messages