default author photo

Jan Bergstra

University of Amsterdam

Spui 21

Amsterdam, 1018 WB

Netherlands

Minstroom Research

Koningslaan 114

Utrecht, Utrecht 3583GV

Netherlands

  • University of Amsterdam

SCHOLARLY PAPERS

9

DOWNLOADS

395

TOTAL CITATIONS

0

Scholarly Papers (9)

Actions:
Email selected abstracts
1.

Promise Theory as a Tool for Informaticians

Promise Theory as a Tool for Informaticians, Transmathematica, Published 2020-04-19, DOI: 10.36285/tm.35
Number of pages: 20 Posted: 01 Jun 2020
Jan Bergstra
University of Amsterdam
Downloads 123 (584,619)

Abstract:

Loading...

2.

Interest Prohibition and Financial Product Innovation

In A. Escurat, editor, Finance Islamique: Regard(s) sur une Finance Alternative, pages 274--284. Mazars Hadj Ali, Algiers, 2011
Number of pages: 9 Posted: 16 Nov 2017
Jan Bergstra and Kees Middelburg
University of Amsterdam and University of Amsterdam
Downloads 61 (951,658)

Abstract:

Loading...

interest prohibition, Islamic finance, authority-based argument, electronic money

3.

The Israel Embedding Problem: a Survey of Solution Proposals

Number of pages: 33 Posted: 06 Oct 2025
Jan Bergstra and Marcus Düwell
University of Amsterdam and Technical University of Darmstadt
Downloads 51 (1,052,702)

Abstract:

Loading...

4.

Preliminaries to an Investigation of Reduced Product Set Finance

Journal of King Abdulaziz University: Islamic Economics, Vol. 24, No. 1, 2011
Number of pages: 37 Posted: 12 Nov 2017 Last Revised: 15 Nov 2017
Jan Bergstra and Kees Middelburg
University of Amsterdam and University of Amsterdam
Downloads 44 (1,133,231)

Abstract:

Loading...

5.

Extending the Data Type of Common Meadows to Define Entropy

Number of pages: 31 Posted: 15 May 2025
Jan Bergstra and John Vivian Tucker
University of Amsterdam and Swansea University
Downloads 30 (1,318,317)

Abstract:

Loading...

meadows, common meadows, partial operators, entropy, cross entropy, terms, conditional operators, auxiliary operators

6.

The Israel Embedding Problem II: An overview of One-state Solution Proposals

Number of pages: 23 Posted: 17 Nov 2025
Jan Bergstra and Marcus Düwell
University of Amsterdam and Technical University of Darmstadt
Downloads 26 (1,372,601)

Abstract:

Loading...

7.

The Israel Embedding Problem II: an overview of One-state Solution Proposals

Number of pages: 23 Posted: 17 Nov 2025
Jan Bergstra and Marcus Düwell
University of Amsterdam and Technical University of Darmstadt
Downloads 21 (1,436,435)

Abstract:

Loading...

8.

Arithmetical Data Types, Arithmetic by Proxy and the Rational Numbers

Number of pages: 30 Posted: 18 Apr 2023
Jan Bergstra and John Vivian Tucker
University of Amsterdam and Swansea University
Downloads 21 (1,436,435)

Abstract:

Loading...

computer arithmetic, meadows, rational numbers, overflow, underflow, precision, abstract data types, proxy data types

9.

For Rational Numbers with Suppes-Ono Division, Equational Validity is One-One Equivalent with Diophantine Unsolvability

Number of pages: 10 Posted: 19 Jun 2024
Jan Bergstra and John Vivian Tucker
University of Amsterdam and Swansea University
Downloads 18 (1,470,786)

Abstract:

Loading...

division by zero, equational theory, rational numbers, Diophantine equation, decidability, 1-1 degrees.