Recursive models for constructive set theories

Annals of Mathematical Logic 23 (2/3):127 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(82)90003-1

Links

PhilArchive



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

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

Recursive models for constructive set theories.M. Beeson - 1982 - Annals of Mathematical Logic 23 (2-3):127-178.
Sufficiency conditions for theories with recursive models.Kelleen R. Hurlburt - 1992 - Annals of Pure and Applied Logic 55 (3):305-320.
A Note on Recursive Models of Set Theories.Domenico Zambella & Antonella Mancini - 2001 - Notre Dame Journal of Formal Logic 42 (2):109-115.
Predicative Algebraic Set Theory.Steve Awodey & Michael A. Warren - unknown
Varieties of constructive mathematics.D. S. Bridges - 1987 - New York: Cambridge University Press. Edited by Fred Richman.
Explicit algebraic models for constructive and classical theories with non-standard elements.Albert G. Dragalin - 1995 - Studia Logica 55 (1):33 - 61.
New spectra of strongly minimal theories in finite languages.Uri Andrews - 2011 - Annals of Pure and Applied Logic 162 (5):367-372.
Recursive properties of relations on models.Geoffrey R. Hird - 1993 - Annals of Pure and Applied Logic 63 (3):241-269.
The natural numbers in constructive set theory.Michael Rathjen - 2008 - Mathematical Logic Quarterly 54 (1):83-97.
Recursive Models and the Divisibility Poset.James H. Schmerl - 1998 - Notre Dame Journal of Formal Logic 39 (1):140-148.
Decidable Boolean algebras of low level.S. S. Goncharov - 1998 - Annals of Pure and Applied Logic 94 (1-3):75-95.
Provably recursive functions of constructive and relatively constructive theories.Morteza Moniri - 2010 - Archive for Mathematical Logic 49 (3):291-300.
How complicated is the set of stable models of a recursive logic program?W. Marek, A. Nerode & J. Remmel - 1992 - Annals of Pure and Applied Logic 56 (1-3):119-135.
Can constructive mathematics be applied in physics?Douglas S. Bridges - 1999 - Journal of Philosophical Logic 28 (5):439-453.
Theories with recursive models.Manuel Lerman & James H. Schmerl - 1979 - Journal of Symbolic Logic 44 (1):59-76.

Analytics

Added to PP
2015-02-05

Downloads
29 (#550,902)

6 months
7 (#430,521)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Functional interpretation of Aczel's constructive set theory.Wolfgang Burr - 2000 - Annals of Pure and Applied Logic 104 (1-3):31-73.
Inductive types and exact completion.Benno van den Berg - 2005 - Annals of Pure and Applied Logic 134 (2-3):95-121.
Church's thesis, continuity, and set theory.M. Beeson & A. Ščedrov - 1984 - Journal of Symbolic Logic 49 (2):630-643.
Extensional realizability.Jaap van Oosten - 1997 - Annals of Pure and Applied Logic 84 (3):317-349.

View all 8 citations / Add more citations

References found in this work

Constructive set theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.

View all 9 references / Add more references