The Axiomatic Characterization of Functions

&
Mathematical Logic Quarterly 23 (25-26):373-382 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19770232502

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

The Axiomatic Characterization of Functions.B. Schweizer & A. Sklar - 1976 - Mathematical Logic Quarterly 23 (25‐26):373-382.
Characterizing PSPACE with pointers.Isabel Oitavem - 2008 - Mathematical Logic Quarterly 54 (3):323-329.
Axiomatic characterization of the AGM theory of belief revision in a temporal logic.Giacomo Bonanno - 2007 - Artificial Intelligence 171 (2-3):144-160.
Independence-friendly logic and axiomatic set theory.Jaakko Hintikka - 2004 - Annals of Pure and Applied Logic 126 (1-3):313-333.
Hamilton-Jacobi flows and characterization of solutions of Aronsson equations.Petri Juutinen & Eero Saksman - 2007 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 6 (1):1-13.
Infinitesimal approach of almost- automorphic functions.Yves Péraire - 1993 - Annals of Pure and Applied Logic 63 (3):283-297.
On the axiomatic characterization of'Who is a J'.D. A. Dimitrov & S. C. Sung - 2005 - Logique Et Analyse 48 (189-192):101-112.
A characterization of the $\Sigma_1$ -definable functions of $KP\omega + $.Wolfgang Burr & Volker Hartung - 1998 - Archive for Mathematical Logic 37 (3):199-214.
Arithmetizing Uniform NC.Bill Allen - 1991 - Annals of Pure and Applied Logic 53 (1):1-50.
On the Owen Set of Transportation Solutions.N. Llorca, E. Molina, M. Pulido & J. Sánchez-Soriano - 2004 - Theory and Decision 56 (1-2):215-228.
A Brief Note About Rott Contraction.E. Fermé & R. Rodriguez - 1998 - Logic Journal of the IGPL 6 (6):835-842.
Decomposing Borel functions and structure at finite levels of the Baire hierarchy.Janusz Pawlikowski & Marcin Sabok - 2012 - Annals of Pure and Applied Logic 163 (12):1748-1764.
On Constructive Axiomatic Method.Andrei Rodin - unknown
Minimal realizability of intuitionistic arithmetic and elementary analysis.Zlatan Damnjanovic - 1995 - Journal of Symbolic Logic 60 (4):1208-1241.
An axiomatic approach to predictability of outcomes in an interactive setting.Sebastian Bervoets - 2010 - Theory and Decision 68 (3):311-323.

Analytics

Added to PP
2016-02-04

Downloads
23 (#664,515)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Foundations of mathematics.William S. Hatcher - 1968 - Philadelphia,: W. B. Saunders Co..
Introduction to combinatory logic.J. Roger Hindley - 1972 - Cambridge [Eng.]: University Press. Edited by B. Lercher & J. P. Seldin.
Foundations of Mathematics.William S. Hatcher - 1972 - Philosophy of Science 39 (1):88-90.

Add more references