Iris Loeb

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7046696 (Why is no real title available?)	2019-04-23	Paper
The role of universal language in the early work of Carnap and Tarski Synthese	2018-03-27	Paper
Towards transfinite type theory: rereading Tarski's \textit{Wahrheitsbegriff} Synthese	2015-08-06	Paper
The transition from formula-centered to concept-centered analysis. Bolzano's purely analytic proof as a case study Philosophia Scientae	2015-06-25	Paper
Uniting model theory and the universalist tradition of logic: Carnap's early axiomatics Synthese	2015-03-17	Paper
Submodels in Carnap's early axiomatics revisited Erkenntnis	2015-01-26	Paper
Deduction graphs with universal quantification Electronic Notes in Theoretical Computer Science	2014-01-17	Paper
Lipschitz functions in constructive reverse mathematics Logic Journal of the IGPL	2013-06-11	Paper
Constructive reverse investigations into differential equations Journal of Logic and Analysis	2012-12-17	Paper
On Tarski's foundations of the geometry of solids The Bulletin of Symbolic Logic	2012-06-20	Paper
Glueing continuous functions constructively Archive for Mathematical Logic	2010-07-06	Paper
Indecomposability of negative dense subsets of R in Constructive Reverse Mathematics Logic Journal of the IGPL	2009-05-05	Paper
Sequences of real functions on [0,1 in constructive reverse mathematics] Annals of Pure and Applied Logic	2009-02-19	Paper
Indecomposability of R and R \ in Constructive Reverse Mathematics Logic Journal of the IGPL	2008-06-27	Paper
Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem Logic and Theory of Algorithms	2008-06-19	Paper
Natural deduction via graphs: formal definition and computation rules Mathematical Structures in Computer Science	2007-09-26	Paper
From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions Lecture Notes in Computer Science	2007-09-05	Paper
Mathematical Knowledge Management Lecture Notes in Computer Science	2007-02-12	Paper
Equivalents of the (weak) fan theorem Annals of Pure and Applied Logic	2005-01-11	Paper

Research outcomes over time

This page was built for person: Iris Loeb