The following pages link to Iris Loeb (Q488355):
Displaying 23 items.
- The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma (Q408156) (← links)
- Submodels in Carnap's early axiomatics revisited (Q488356) (← links)
- The double negation of the intermediate value theorem (Q636312) (← links)
- Equivalents of the (weak) fan theorem (Q703836) (← links)
- Glueing continuous functions constructively (Q982187) (← links)
- How incomputable is the separable Hahn-Banach theorem? (Q987935) (← links)
- Sequences of real functions on [0,1] in constructive reverse mathematics (Q1001912) (← links)
- The role of universal language in the early work of Carnap and Tarski (Q1708748) (← links)
- Uniting model theory and the universalist tradition of logic: Carnap's early axiomatics (Q2263041) (← links)
- Constructive notions of equicontinuity (Q2391094) (← links)
- Towards transfinite type theory: rereading Tarski's \textit{Wahrheitsbegriff} (Q2515772) (← links)
- Deduction Graphs with Universal Quantification (Q2870317) (← links)
- On Tarski's Foundations of the Geometry of Solids (Q2893282) (← links)
- http://logicandanalysis.org/index.php/jla/article/viewFile/114/41 (Q3145965) (← links)
- Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem (Q3507452) (← links)
- Indecomposability of R and R \ in Constructive Reverse Mathematics (Q3508163) (← links)
- Indecomposability of negative dense subsets of R in Constructive Reverse Mathematics (Q3625493) (← links)
- (Q4630766) (← links)
- Lipschitz functions in constructive reverse mathematics (Q4925156) (← links)
- The Transition from Formula-Centered to Concept-Centered Analysis Bolzano's Purely Analytic Proof (Q5258389) (← links)
- Natural deduction via graphs: formal definition and computation rules (Q5308097) (← links)
- From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions (Q5756722) (← links)
- Mathematical Knowledge Management (Q5898528) (← links)