Iris Loeb

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4630766	2019-04-23	Paper
The role of universal language in the early work of Carnap and Tarski	2018-03-27	Paper
Towards transfinite type theory: rereading Tarski's \textit{Wahrheitsbegriff}	2015-08-06	Paper
The Transition from Formula-Centered to Concept-Centered Analysis Bolzano's Purely Analytic Proof	2015-06-25	Paper
Uniting model theory and the universalist tradition of logic: Carnap's early axiomatics	2015-03-17	Paper
Submodels in Carnap's early axiomatics revisited	2015-01-26	Paper
Deduction Graphs with Universal Quantification	2014-01-17	Paper
Lipschitz functions in constructive reverse mathematics	2013-06-11	Paper
http://logicandanalysis.org/index.php/jla/article/viewFile/114/41	2012-12-17	Paper
On Tarski's Foundations of the Geometry of Solids	2012-06-20	Paper
Glueing continuous functions constructively	2010-07-06	Paper
Indecomposability of negative dense subsets of R in Constructive Reverse Mathematics	2009-05-05	Paper
Sequences of real functions on [0,1 in constructive reverse mathematics]	2009-02-19	Paper
Indecomposability of R and R \ in Constructive Reverse Mathematics	2008-06-27	Paper
Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem	2008-06-19	Paper
Natural deduction via graphs: formal definition and computation rules	2007-09-26	Paper
From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions	2007-09-05	Paper
Mathematical Knowledge Management	2007-02-12	Paper
Equivalents of the (weak) fan theorem	2005-01-11	Paper

Research outcomes over time

This page was built for person: Iris Loeb