A note on the theory of propositional types
Andrzej Grzegorczyk (1964)
Fundamenta Mathematicae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Elementarily definable analysis”
A note on the theory of propositional types
A kind of categoricity
Andrzej Grzegorczyk (1962)
Colloquium Mathematicae
Similarity:
Failure of completeness properties of intuitionistic predicate logic for constructive models
Daniel Leivant (1976)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
Arithmetization of metamathematics in a general setting
S. Feferman (1960)
Fundamenta Mathematicae
Similarity:
On axiomatizability and preservation in Kripke models.
Markovic, Zoran (1981)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Some applications of formalized consistency proofs
G. Kreisel, Hao Wang (1955)
Fundamenta Mathematicae
Similarity:
The present state of investigations on the foundations of mathematics
Andrzej Mostowski
Similarity:
INTRODUCTION A. THEORY OF MATHEMATICAL NOTIONS A1. The axiomatic method A1a. Elementary and non-elementary HyuteniB of axionm A1aa. General definitons A1ab. The general theory of elementary systems A1ac. The notion of categoricity and the theory of non-elementary systems A1b. The axiomatic method applied to concrete mathematical theories A1ba. The arithmetic of natural numbers A1bb. The axiomatic theory of sets A1bc. The axioms of the theory of real numbers A2. Constructive trends in...
An addition to “logic of many-sorted theories”
P. C. Gilmore (1956-1958)
Compositio Mathematica
Similarity:
Axiomatizability of some many valued predicate calculi
Andrzej Mostowski (1961)
Fundamenta Mathematicae
Similarity:
On the concepts of completeness and interpretation of formal systems
G. Kreisel (1952)
Fundamenta Mathematicae
Similarity: