The extensional ordering of the sequential functionals

&
Annals of Pure and Applied Logic 163 (5):575-603 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2011.06.013

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,682

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Recursion on the countable functionals.Dag Normann - 1980 - New York: Springer Verlag.
Computing with functionals: Computability theory or computer science?Dag Normann - 2006 - Bulletin of Symbolic Logic 12 (1):43-59.
The hereditary partial effective functionals and recursion theory in higher types.G. Longo & E. Moggi - 1984 - Journal of Symbolic Logic 49 (4):1319-1332.
Decidability of General Extensional Mereology.Hsing-Chien Tsai - 2013 - Studia Logica 101 (3):619-636.
Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals.Marc Bezem - 1985 - Journal of Symbolic Logic 50 (3):652-660.
Monotone majorizable functionals.Helmut Schwichtenberg - 1999 - Studia Logica 62 (2):283-289.
Linear Aggregation of SSB Utility Functionals.Arja H. Turunen-Red & John A. Weymark - 1999 - Theory and Decision 46 (3):281-294.
Recursive functionals.Luis E. Sanchis - 1992 - New York: North-Holland.
Characterizing the continuous functionals.Dag Normann - 1983 - Journal of Symbolic Logic 48 (4):965-969.
Substitution of indifferent options at choice nodes and admissibility: a reply to Rabinowicz.Teddy Seidenfeld - 2000 - Theory and Decision 48 (4):305-310.
Countable functionals and the projective hierarchy.Dag Normann - 1981 - Journal of Symbolic Logic 46 (2):209-215.
The Settling-Time Reducibility Ordering.Barbara F. Csima & Richard A. Shore - 2007 - Journal of Symbolic Logic 72 (3):1055 - 1071.
Bounded variation implies regulated: A constructive proof.Douglas Bridges & Ayan Mahalanobis - 2001 - Journal of Symbolic Logic 66 (4):1695-1700.

Analytics

Added to PP
2013-10-27

Downloads
17 (#885,561)

6 months
5 (#686,768)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dag Normann
University of Oslo

Citations of this work

No citations found.

Add more citations

References found in this work

Recursive Functionals and Quantifiers of Finite Types I.A. Nerode - 1962 - Journal of Symbolic Logic 27 (1):82-83.
Natural non-dcpo domains and f-spaces.Vladimir Sazonov - 2009 - Annals of Pure and Applied Logic 159 (3):341-355.

Add more references