STRICT FINITISM, FEASIBILITY, AND THE SORITES (Q4577997): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Computational Complexity / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3340832 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Zooming Down the Slippery Slope / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5809144 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3794177 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Tolerant, classical, strict / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4133141 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5306365 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3741624 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Wang's paradox / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4787958 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3058982 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Vagueness, truth and logic / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4656798 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Vagueness, tolerance and contextual logic / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3968902 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: TWO (OR THREE) NOTIONS OF FINITISM / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A formalization of Essenin-Volpin's proof theoretical studies by means of nonstandard analysis / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5684636 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4384146 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Predicative Frege Arithmetic and 'Everyday' Mathematics / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3910524 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4821145 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4001935 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3101063 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5639713 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4000151 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Semiorders and a Theory of Utility Discrimination / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Some impredicative definitions in the axiomatic set theory / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3745796 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Internal set theory: A new approach to nonstandard analysis / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4726219 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4867186 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Existence and feasibility in arithmetic / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3967512 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Models and reality / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Non-standard analysis / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5573961 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: On feasible numbers / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Foundational aspects of theories of measurement / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Induction the Hard Way / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3395521 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4065545 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4789492 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3993437 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Modeling vagueness by nonstandardness / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3964561 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: EIGHTY YEARS OF FOUNDATIONAL STUDIES / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Computation, logic, philosophy. A collection of essays / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5344163 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5590784 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3927242 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Notes on polynomially bounded arithmetic / rank | |||
Normal rank | |||
Revision as of 06:04, 16 July 2024
scientific article; zbMATH DE number 6914165
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | STRICT FINITISM, FEASIBILITY, AND THE SORITES |
scientific article; zbMATH DE number 6914165 |
Statements
STRICT FINITISM, FEASIBILITY, AND THE SORITES (English)
0 references
7 August 2018
0 references
strict finitism
0 references
ultrafinitism
0 references
vagueness
0 references
sorites paradox
0 references
nonstandard models
0 references
bounded arithmetic
0 references
semisets
0 references
Yessenin-Volpin
0 references
Dummett
0 references
0 references
