# Franka Arjanne Waaldijk

Publications10

Citations50

Highly Influential Citations1

- Publications
- Influence

We discuss the foundations of constructive mathematics, including recursive mathematics and intuitionism, in relation to classical mathematics. There are connections with the foundations of physics,… Continue Reading

A brief sketch of the history of intuitionistic topology. A brief and incomplete description of Bishop-style mathematics, and some of its problems regarding topology. A brief synopsis of the contents… Continue Reading

1 March 2002

Many policy problems in the field of urban planning and traffic management are to be characterized as ?ill structured problems?, i.e. there is little consensus about ?goals and facts?. The policy… Continue Reading

We establish constructive refinements of several well-known theorems in elementary model theory. The additive group of the real numbers may be embedded elementarily into the additive group of pairs… Continue Reading

The essay contains an abstract analysis of problems in transport and infrastructure for the next 40 years, resulting in guiding principles for possible solutions and illustrated with imaginative… Continue Reading

We give an exposition of Natural Topology (NToP), which highlights its advantages for exact computation. The NToP-definition of the real numbers (and continuous real functions) matches the… Continue Reading

We give a theoretical and applicable framework for dealing with real-world phenomena. Joining pointwise and pointfree notions in BISH, natural topology gives a faithful idea of important concepts and… Continue Reading

We give an exposition of Natural Topology (NToP), which highlights its advantages for exact computation. The NToP-definition of the real numbers (and continuous real functions) matches recent expert… Continue Reading

Currently, traffic and transportation are frequently provided as a market commodity. As a consequence, the costs connected to the provision of the traffic system are paid by its actual users. The… Continue Reading

This essay consists of two parallel parts. One the one hand an abstract analysis is made of problems regarding Transport and Infrastructure in the 40 years to come, resulting in guiding principles… Continue Reading