Predicativity and Feferman (Q5214793): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q61835216, #quickstatements; #temporary_batch_1707161894653 |
ReferenceBot (talk | contribs) Changed an Item |
||
| (3 intermediate revisions by 3 users not shown) | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2611803175 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3340832 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Feferman and the Truth / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A formulation of the simple theory of types / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q2967790 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Error and Predicativity / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Systems of predicative analysis / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Predicative provability in set theory / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5544276 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Systems of predicative analysis, II: Representations of ordinals / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4071232 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4075459 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3671968 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Hilbert's program relativized; Proof-theoretical and foundational reductions / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4385479 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4237309 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Predicative foundations of arithmetic / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Systems of explicit mathematics with non-constructive \(\mu\)-operator. I / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Persistent and invariant formulas relative to theories of higher order / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The unfolding of non-finitist arithmetic / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: UNFOLDING FINITIST ARITHMETIC / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: On Arbitrary sets and<i>ZFC</i> / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Consistency of the Continuum Hypothesis. (AM-3) / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Why ramify? / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4365299 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q2784309 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5316376 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3256314 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5513756 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: La prédicativité / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5608740 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4663848 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4367597 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4388951 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4099613 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4726219 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4793039 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5387442 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Proof theory. The first step into impredicativity / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4477880 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4381421 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4934564 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Theories and ordinals in proof theory / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4040890 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5344167 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Hilbert's Programs: 1917–1922 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Partial realizations of Hilbert's program / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4220572 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4793027 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Recursive well-orderings / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5272458 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Unfolding Schematic Systems / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Proof theory. 2nd ed / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The formalization of mathematics / rank | |||
Normal rank | |||
| links / mardi / name | links / mardi / name | ||
Latest revision as of 16:12, 21 July 2024
scientific article; zbMATH DE number 7163216
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Predicativity and Feferman |
scientific article; zbMATH DE number 7163216 |
Statements
Predicativity and Feferman (English)
0 references
5 February 2020
0 references
impredicative definitions
0 references
predicativity given the natural numbers
0 references
vicious circle principle
0 references
invariance
0 references
\(\Gamma_0\)
0 references
0 references
0 references
