The following pages link to Georg Kreisel (Q1238802):
Displaying 20 items.
- Which number theoretic problems can be solved in recursive progressions on Π<sub>1</sub><sup>1</sup>-paths through <i>O</i>? (Q5668463) (← links)
- Finite Definability of Number‐Theoretic Functions and Parametric Completeness of Equational Calculi (Q5724776) (← links)
- On weak completeness of intuitionistic predicate logic (Q5726687) (← links)
- 1 — Consistency and faithful interpretations (Q5734415) (← links)
- Surface waves (Q5790424) (← links)
- Some remarks on integral equations with kernels: <i>L</i> (ξ <sub>1</sub> - <i>x</i> <sub>1</sub> ,..., ξ <sub>n</sub> - <i>x</i> (Q5791777) (← links)
- Note on arithmetic models for consistent formulae of the predicate calculus (Q5799429) (← links)
- Some Remarks on the Foundations of Mathematics: an Expository Article (Q5803244) (← links)
- On the Interpretation of Non-Finitist Proofs--Part I (Q5806808) (← links)
- On the interpretation of non-finitist proofs–Part II (Q5809142) (← links)
- (Q5816172) (← links)
- On the concepts of completeness and interpretation of formal systems (Q5817391) (← links)
- THE DIAGONAL METHOD IN FORMALIZED ARITHMETIC (Q5819448) (← links)
- (Q5822063) (← links)
- (Q5823280) (← links)
- Note on Functional Relationship (Q5823369) (← links)
- Remark on complete interpretations by models (Q5825666) (← links)
- (Q5830649) (← links)
- (Q5850527) (← links)
- On reflection principles (Q5896339) (← links)