La prédicativité
type: Item
instance of: scholarly article
title: La prédicativité
zbMATH Open document ID: 0131.00604
publication date: 1960-01-01T00:00:00Z
full work available at URL: http://www.numdam.org/item
full work available at URL: https://eudml.org/doc/86990
zbMATH DE Number: 3212006
zbMATH Keywords: mathematical logic
author: Georg Kreisel
MaRDI profile type: Publication
OpenAlex ID: W4214648487
cites work: Transfinite recursive progressions of axiomatic theories
cites work: Consistency of the Continuum Hypothesis. (AM-3)
cites work: Elementarily definable analysis
cites work: The classical and the ω-complete arithmetic
cites work: Arithmetical Predicates and Function Quantifiers
cites work: Hierarchies of number-theoretic predicates
cites work: Q3256314
cites work: Q3240534
cites work: Q3269140
cites work: Q5596755
cites work: Q5343326
cites work: Q3246326
cites work: Logical reflection and formalism
cites work: Ein widerspruchsloses System der Analysis auf typenfreier Grundlage
cites work: Recursive well-orderings
cites work: Q5608004
cites work: The formalization of mathematics
cites work: Q5607987
DOI: 10.24033/BSMF.1554
published in: Bulletin de la Société mathématique de France
description: scientific article; zbMATH DE number 3212006