Creative subject, Beth models and neighbourhood functions

Archive for Mathematical Logic 35 (2):89-102 (1996)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf01273687

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,219

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 theorems of beth and Craig in abstract model theory II. Compact logics.J. A. Makowsky & S. Shelah - 1981 - Archive for Mathematical Logic 21 (1):13-35.
Derivatives of normal functions and $$\omega $$ ω -models.Toshiyasu Arai - 2018 - Archive for Mathematical Logic 57 (5-6):649-664.
A characterization of the [mathematical formula]-definable functions of [mathematical formula].Wolfgang Burr & Volker Hartung - 1997 - Archive for Mathematical Logic 36 (3).
Binary models generated by their tally part.Fernando Ferreira - 1994 - Archive for Mathematical Logic 33 (4):283-289.
A note on end extensions.Ch Cornaros & C. Dimitracopoulos - 2000 - Archive for Mathematical Logic 39 (6):459-463.
A classification of the ordinal recursive functions.S. S. Wainer - 1970 - Archive for Mathematical Logic 13 (3-4):136-153.
Superstationary and ineffable n cardinals.Christopher C. Leary - 1990 - Archive for Mathematical Logic 29 (3):137-148.
Some generalized sheffer functions.Samuel LaMacchia & Alexander Abian - 1968 - Archive for Mathematical Logic 10 (1-2):6-7.
Entropy of formulas.Vera Koponen - 2009 - Archive for Mathematical Logic 48 (6):515-522.
Hierarchies of number-theoretic functions. I.M. H. Löb & S. S. Wainer - 1970 - Archive for Mathematical Logic 13 (1-2):39-51.

Analytics

Added to PP
2013-12-01

Downloads
23 (#944,212)

6 months
6 (#869,904)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Elements of Intuitionism.Michael Dummett - 1977 - New York: Oxford University Press. Edited by Roberto Minio.
Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos (ed.), Problems in the philosophy of mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 138--157.
Elements of Intuitionism.Michael Dummett - 1980 - British Journal for the Philosophy of Science 31 (3):299-301.
Intuitionism.A. Heyting - 1971 - Amsterdam,: North-Holland Pub. Co..
Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke - 1963 - In Michael Dummett & J. N. Crossley (eds.), Formal Systems and Recursive Functions. Amsterdam,: North Holland. pp. 92-130.

View all 10 references / Add more references