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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Iris Loeb