Dirk van Dalen

From MaRDI portal
Person:451976

Available identifiers

zbMath Open van-dalen.dirkWikidataQ1228141 ScholiaQ1228141MaRDI QIDQ451976

List of research outcomes

PublicationDate of PublicationType
L. E. J. Brouwer: Intuitionism2020-04-30Paper
https://portal.mardi4nfdi.de/entity/Q45839322018-08-29Paper
https://portal.mardi4nfdi.de/entity/Q29880682017-05-18Paper
https://portal.mardi4nfdi.de/entity/Q28185362016-09-07Paper
https://portal.mardi4nfdi.de/entity/Q29900232016-07-29Paper
https://portal.mardi4nfdi.de/entity/Q51707002014-07-24Paper
https://portal.mardi4nfdi.de/entity/Q31447352012-12-08Paper
L.E.J. Brouwer – Topologist, Intuitionist, Philosopher2012-12-04Paper
Logic and structure2012-09-25Paper
https://portal.mardi4nfdi.de/entity/Q28894142012-06-07Paper
The selected correspondence of L. E. J. Brouwer.2011-08-01Paper
Brouwer's \(\epsilon\)-fixed point and Sperner's lemma2011-07-07Paper
https://portal.mardi4nfdi.de/entity/Q35678132010-06-17Paper
https://portal.mardi4nfdi.de/entity/Q34040092010-02-05Paper
https://portal.mardi4nfdi.de/entity/Q35071732008-06-18Paper
https://portal.mardi4nfdi.de/entity/Q53108952007-10-15Paper
The birth and youth of Compositio Mathematica: ‘Ce périodique foncièrement international’2006-10-31Paper
https://portal.mardi4nfdi.de/entity/Q54898742006-10-04Paper
https://portal.mardi4nfdi.de/entity/Q30243392005-07-01Paper
Recent progress on quasi-periodic lattice Schrödinger operators and Hamiltonian PDEs2004-12-01Paper
https://portal.mardi4nfdi.de/entity/Q48171982004-09-22Paper
Ishihara's proof technique in constructive analysis2004-06-15Paper
Logic and structure2004-03-23Paper
https://portal.mardi4nfdi.de/entity/Q44188142003-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44139172003-07-22Paper
https://portal.mardi4nfdi.de/entity/Q47934302003-06-21Paper
Brouwer and Weyl: The Phenomenology and Mathematics of the Intuitive Continuumt†2003-03-13Paper
https://portal.mardi4nfdi.de/entity/Q47894612003-01-29Paper
https://portal.mardi4nfdi.de/entity/Q45321972003-01-07Paper
Arguments for the Continuity Principle2002-12-16Paper
https://portal.mardi4nfdi.de/entity/Q27760642002-10-07Paper
Zermelo and the Skolem Paradox2002-01-06Paper
https://portal.mardi4nfdi.de/entity/Q27025802001-08-21Paper
Brouwer and Fraenkel on Intuitionism2001-07-05Paper
https://portal.mardi4nfdi.de/entity/Q49462042000-11-12Paper
https://portal.mardi4nfdi.de/entity/Q49361212000-01-24Paper
From Brouwerian counter examples to the creating subject1999-10-10Paper
https://portal.mardi4nfdi.de/entity/Q42500341999-08-04Paper
From a Brouwerian Point of View1999-05-24Paper
https://portal.mardi4nfdi.de/entity/Q42316661999-03-15Paper
https://portal.mardi4nfdi.de/entity/Q42228251998-12-13Paper
How connected is the intuitionistic continuum?1998-09-02Paper
https://portal.mardi4nfdi.de/entity/Q43420821997-07-08Paper
https://portal.mardi4nfdi.de/entity/Q43420921997-07-08Paper
Hermann Weyl's Intuitionistic Mathematics1997-03-17Paper
`Outside' as a primitive notion in constructive projective geometry1996-09-29Paper
Logic and structure.1994-11-10Paper
https://portal.mardi4nfdi.de/entity/Q42956581994-10-05Paper
https://portal.mardi4nfdi.de/entity/Q46942081993-06-29Paper
Logic and structure.1993-06-05Paper
The continuum and first-order intuitionistic logic1993-04-01Paper
https://portal.mardi4nfdi.de/entity/Q40066421992-09-26Paper
Constructivism in mathematics. An introduction. Volume I1992-09-17Paper
Constructivism in mathematics. An introduction. Volume II1992-09-17Paper
The war of the frogs and the mice, or the crisis of the Mathematische Annalen1990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38224281988-01-01Paper
Gödelsche Funktionalinterpretation für Eine Erweiterung der Klassischen Analysis1988-01-01Paper
Glueing of analysis models in an intuitionistic setting1986-01-01Paper
Eine Bemerkung zum Aufsatz „Der Fundamentalsatz der Algebra und der Intuitionismus“ von H. Kneser1985-01-01Paper
How to glue analysis models1984-01-01Paper
Braucht die konstruktive Mathematik Grundlagen?1982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36668441982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36746521982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39569341982-01-01Paper
Logic and structure1980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30488291979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32086491979-01-01Paper
An interpretation of intuitionistic analysis1978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41934551978-01-01Paper
The use of Kripke's schema as a reduction principle1977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41285711975-01-01Paper
Variants of Rescher's semantics for preference logic and some completeness theorems1974-01-01Paper
A model for HAS. A topological interpretation of the theory of species of natural numbers1974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32148871973-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56800851973-01-01Paper
https://portal.mardi4nfdi.de/entity/Q51813081972-01-01Paper
A note on some systems of lindenmayer1971-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56368591971-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56044411970-01-01Paper
Reductibilities in intuitionistic topology1968-01-01Paper
Fans Generated by Nondeterministic Automata1968-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55650811968-01-01Paper
https://portal.mardi4nfdi.de/entity/Q53326281963-01-01Paper
https://portal.mardi4nfdi.de/entity/Q53423161963-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Dirk van Dalen