Truth and the philosophy of mathematics (Q2080591): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-84706-7_12
+Normal rank
@@ Property / OpenAlex ID @@
+W4231029062
@@ Property / OpenAlex ID: W4231029062 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912779
@@ Property / cites work: Q3912779 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3464621
@@ Property / cites work: Q3464621 / rank @@
+Normal rank
@@ Property / cites work @@
+On mathematical instrumentalism
@@ Property / cites work: On mathematical instrumentalism / rank @@
+Normal rank
@@ Property / cites work @@
+Q3705449
@@ Property / cites work: Q3705449 / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on Formal Theories of Truth
@@ Property / cites work: Notes on Formal Theories of Truth / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of formal truth arithmetically equivalent to ID<sub>1</sub>
+Normal rank
@@ Property / cites work @@
+Logical frameworks for truth and abstraction. An axiomatic study
+Normal rank
@@ Property / cites work @@
+Feferman on foundations. Logic, mathematics, philosophy
+Normal rank
@@ Property / cites work @@
+Q3081642
@@ Property / cites work: Q3081642 / rank @@
+Normal rank
@@ Property / cites work @@
+Rethinking knowledge. The heuristic view
@@ Property / cites work: Rethinking knowledge. The heuristic view / rank @@
+Normal rank
@@ Property / cites work @@
+MODELS OF PT<sup>–</sup> WITH INTERNAL INDUCTION FOR TOTAL FORMULAE
+Normal rank
@@ Property / cites work @@
+Predicativity and Feferman
@@ Property / cites work: Predicativity and Feferman / rank @@
+Normal rank
@@ Property / cites work @@
+Abbreviating proofs by adding new axioms
@@ Property / cites work: Abbreviating proofs by adding new axioms / rank @@
+Normal rank
@@ Property / cites work @@
+TRUTH AND FEASIBLE REDUCIBILITY
@@ Property / cites work: TRUTH AND FEASIBLE REDUCIBILITY / rank @@
+Normal rank
@@ Property / cites work @@
+Q3882452
@@ Property / cites work: Q3882452 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3671968
@@ Property / cites work: Q3671968 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4237309
@@ Property / cites work: Q4237309 / rank @@
+Normal rank
@@ Property / cites work @@
+AXIOMS FOR DETERMINATENESS AND TRUTH
@@ Property / cites work: AXIOMS FOR DETERMINATENESS AND TRUTH / rank @@
+Normal rank
@@ Property / cites work @@
+TRUTH AND SPEED-UP
@@ Property / cites work: TRUTH AND SPEED-UP / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated reflection over full disquotational truth
+Normal rank
@@ Property / cites work @@
+Autonomous progression and transfinite iteration of self-applicable truth
+Normal rank
@@ Property / cites work @@
+TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY
+Normal rank
@@ Property / cites work @@
+Q3773876
@@ Property / cites work: Q3773876 / rank @@
+Normal rank
@@ Property / cites work @@
+On power set in explicit mathematics
@@ Property / cites work: On power set in explicit mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3005147
@@ Property / cites work: Q3005147 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing Kripke's theory of truth
@@ Property / cites work: Axiomatizing Kripke's theory of truth / rank @@
+Normal rank
@@ Property / cites work @@
+Q3093483
@@ Property / cites work: Q3093483 / rank @@
+Normal rank
@@ Property / cites work @@
+Power types in explicit mathematics?
@@ Property / cites work: Power types in explicit mathematics? / rank @@
+Normal rank
@@ Property / cites work @@
+Q5316376
@@ Property / cites work: Q5316376 / rank @@
+Normal rank
@@ Property / cites work @@
+The proof-theoretic analysis of transfinitely iterated fixed point theories
+Normal rank
@@ Property / cites work @@
+Construction of Satisfaction Classes for Nonstandard Models
+Normal rank
@@ Property / cites work @@
+Q5608740
@@ Property / cites work: Q5608740 / rank @@
+Normal rank
@@ Property / cites work @@
+Outline of a Theory of Truth
@@ Property / cites work: Outline of a Theory of Truth / rank @@
+Normal rank
@@ Property / cites work @@
+Full Satisfaction Classes and Recursive Saturation
+Normal rank
@@ Property / cites work @@
+CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION
+Normal rank
@@ Property / cites work @@
+Models of weak theories of truth
@@ Property / cites work: Models of weak theories of truth / rank @@
+Normal rank
@@ Property / cites work @@
+NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE
+Normal rank
@@ Property / cites work @@
+Q4388951
@@ Property / cites work: Q4388951 / rank @@
+Normal rank
@@ Property / cites work @@
+Sets and Classes
@@ Property / cites work: Sets and Classes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4793039
@@ Property / cites work: Q4793039 / rank @@
+Normal rank
@@ Property / cites work @@
+INDEFINITENESS IN SEMI-INTUITIONISTIC SET THEORIES: ON A CONJECTURE OF FEFERMAN
+Normal rank
@@ Property / cites work @@
+Some notes on truths and comprehension
@@ Property / cites work: Some notes on truths and comprehension / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4944925
@@ Property / cites work: Q4944925 / rank @@
+Normal rank
@@ Property / cites work @@
+Against intuitionism: Constructive mathematics is part of classical mathematics
+Normal rank
@@ Property / cites work @@
+Q5839923
@@ Property / cites work: Q5839923 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2080591