A. S. Troelstra

4.2k total citations
46 papers, 1.9k citations indexed

About

A. S. Troelstra is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Management Science and Operations Research. According to data from OpenAlex, A. S. Troelstra has authored 46 papers receiving a total of 1.9k indexed citations (citations by other indexed papers that have themselves been cited), including 22 papers in Artificial Intelligence, 22 papers in Computational Theory and Mathematics and 3 papers in Management Science and Operations Research. Recurrent topics in A. S. Troelstra's work include Logic, programming, and type systems (17 papers), Logic, Reasoning, and Knowledge (16 papers) and Computability, Logic, AI Algorithms (11 papers). A. S. Troelstra is often cited by papers focused on Logic, programming, and type systems (17 papers), Logic, Reasoning, and Knowledge (16 papers) and Computability, Logic, AI Algorithms (11 papers). A. S. Troelstra collaborates with scholars based in Netherlands, Germany and Slovakia. A. S. Troelstra's co-authors include H. Schwichtenberg, G. Kreisel, D.H.J. de Jongh, D. van Dalen, Gert H. Müller, A. Heyting, Stephen C Kleene, L. E. J. Brouwer and R. Haveman and has published in prestigious journals such as Lecture notes in mathematics, Theoretical Computer Science and Synthese.

In The Last Decade

A. S. Troelstra

40 papers receiving 1.6k citations

Peers

Countries citing papers authored by A. S. Troelstra

Since Specialization

Citations

This map shows the geographic impact of A. S. Troelstra's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by A. S. Troelstra with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites A. S. Troelstra more than expected).

Fields of papers citing papers by A. S. Troelstra

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by A. S. Troelstra. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by A. S. Troelstra. The network helps show where A. S. Troelstra may publish in the future.

Co-authorship network of co-authors of A. S. Troelstra

This figure shows the co-authorship network connecting the top 25 collaborators of A. S. Troelstra. A scholar is included among the top collaborators of A. S. Troelstra based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with A. S. Troelstra. A. S. Troelstra is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

#	Work	Indexed citations
1	Naamlijst en verspreidingsgegevens van de Nederlandse bramen (Rubus L. subgenus Rubus) 2014 ·Gorteria ·(unknown), (unknown), R. Haveman, (unknown), (unknown), A. S. Troelstra, (unknown)	3
2	From constructivism to computer science 1999 ·Theoretical Computer Science ·A. S. Troelstra	12
3	Constructivism in Mathematics, Volume 2 1991 ·A. S. Troelstra, D. van Dalen	5
4	A. G. Dragalin. Mathematical intuitionism. Introduction to proof theory. English translation by E. Mendelson of Matématičéskij intuicionizm, Vvédénié v téoriúdokazatél'stv. Translations of mathematical monographs, vol. 67. American Mathematical Society, Providence1988, ix + 228 pp. 1990 ·Journal of Symbolic Logic ·A. S. Troelstra	1
5	Constructivism in mathematics 1988 ·CERN Document Server (European Organization for Nuclear Research) ·A. S. Troelstra	319
6	Definability of finite sum types in Martin-Löf's type theories 1983 ·Indagationes Mathematicae (Proceedings) ·A. S. Troelstra	2
7	On Ashvinikumar's principle of microscopic completeness 1979 ·Indagationes Mathematicae (Proceedings) ·A. S. Troelstra	1
8	Choice sequences : a chapter of intuitionistic mathematics 1977 ·Clarendon Press eBooks ·A. S. Troelstra	24
9	Special instances of generalized continuity which are conservative over intuitionistic arithmetic 1977 ·Indagationes Mathematicae (Proceedings) ·A. S. Troelstra	2
10	A note on non-extensional operations in connection with continuity and recursiveness 1977 ·Indagationes Mathematicae (Proceedings) ·A. S. Troelstra	14
11	Note on the fan theorem 1974 ·Journal of Symbolic Logic ·A. S. Troelstra	27
12	An addendum 1971 ·Annals of Mathematical Logic ·A. S. Troelstra	3
13	Notes on the intuitionistic theory of sequences (III) 1970 ·Indagationes Mathematicae (Proceedings) ·A. S. Troelstra	2
14	Formal systems for some branches of intuitionistic analysis 1970 ·Annals of Mathematical Logic ·G. Kreisel, A. S. Troelstra	65
15	Notes on the intuitionistic theory of sequences (II) 1970 ·Indagationes Mathematicae (Proceedings) ·A. S. Troelstra	5
16	New sets of postulates for intuitionistic topology 1968 ·French digital mathematics library (Numdam) ·A. S. Troelstra	2
17	Finite and infinite in intuitionistic mathematics 1967 ·Compositio Mathematica ·A. S. Troelstra	3
18	Intuitionistic Connectedness 1967 ·Indagationes Mathematicae (Proceedings) ·A. S. Troelstra	1
19	On the connection of partially ordered sets with some pseudo-Boolean algebras 1966 ·Indagationes Mathematicae (Proceedings) ·D.H.J. de Jongh, A. S. Troelstra	36
20	On Intermediate Propositional Logics 1965 ·Indagationes Mathematicae (Proceedings) ·A. S. Troelstra	40

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact