UCLA Logic Colloquium, April 17

Thread View: sci.logic

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by H. Enderton Thu, 09 Apr 1992 15:54

#109

Author: H. Enderton
Date: Thu, 09 Apr 1992 15:54

26 lines
1454 bytes

                    UCLA LOGIC COLLOQUIUM
                    Friday, April 17, 1992
                           4:00 p.m.
                   Mathematical Sciences 6627
                             UCLA
                                                  
                       ALEXANDRA SOSKOVA
                      (Sofia University)

               "EFFECTIVE FIRST ORDER STRUCTURES"

		           Abstract

In our talk we shall discuss the notion of abstract data type from a
recursion theoretical point of view.  Our results are mainly
concentrated on the definition and on the characterization of the
effective abstract data types.

The main tool is a notion of computability over many-sorted first order
structure which puts together two non-deterministic notions of
computability -- search computability of Moschovakis and computability
of Friedman and Shepherdson.

The relationships between some special properties of the class of the
computable functions in an abstract structure and the existence of some
special enumerations of it will be presented.

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads