On the public citation graph
Analysing choice sequences
0 signed · 93 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/malq.19700160605openalex-snapshot
Modelle Modaler Mengenlehren
inferredcites →https://doi.org/10.1002/malq.19780242507openalex-snapshot
A Topological Model for Intuitionistic Analysis with Kripke's Scheme
inferredcites →https://doi.org/10.1002/malq.19800262204openalex-snapshot
A Topological Model for Troelstra's System CS of Intuitionistic Analysis
inferredcites →https://doi.org/10.1007/978-94-009-9056-2_12openalex-snapshot
The Interplay Between Logic and Mathematics: Intuitionism
inferredcites →https://doi.org/10.1007/bf00263659openalex-snapshot
Varieties of indeterminacy in the theory of general choice sequences
inferredcites →https://doi.org/10.1007/bf01149927openalex-snapshot
The topological models of intuitionistic anlaysis. One counterexample
inferredcites →https://doi.org/10.1007/bf01171122openalex-snapshot
Die Axiomatisierung der Mengenlehre
inferredcites →https://doi.org/10.1007/bf01209181openalex-snapshot
Zur Begr�ndung der intuitionistischen Mathematik. III
inferredcites →https://doi.org/10.1007/bf01447860openalex-snapshot
�ber Definitionsbereiche von- Funktionen
inferredcites →https://doi.org/10.1007/bf01449999openalex-snapshot
Untersuchungen �ber die Grundlagen der Mengenlehre. I
inferredcites →https://doi.org/10.1007/bf01707942openalex-snapshot
Leçons sur la théorie des fonctions
inferredcites →https://doi.org/10.1007/bf01874704openalex-snapshot
On a second order propositional operator in intuitionistic logic
inferredcites →https://doi.org/10.1007/bf02123404openalex-snapshot
A very strong intuitionistic theory
inferredcites →https://doi.org/10.1007/bf02176167openalex-snapshot
The inconsistency of Bernini's very strong intuitionistic theory
inferredcites →https://doi.org/10.1007/bf02176168openalex-snapshot
A note on my paper “A very strong intruitionistic theory”
inferredcites →https://doi.org/10.1007/bf02297268openalex-snapshot
Informal theory of choice sequences
inferredcites →https://doi.org/10.1007/bfb0066739openalex-snapshot
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
inferredcites →https://doi.org/10.1007/bfb0066774openalex-snapshot
Notes on intuitionistic second order arithmetic
inferredcites →https://doi.org/10.1007/bfb0090731openalex-snapshot
Remarks on the notion of standard non-isomorphic natural number series
inferredcites →https://doi.org/10.1007/bfb0090740openalex-snapshot
About infinity, finiteness and finitization (in connection with the foundations of mathematics)
inferredcites →https://doi.org/10.1016/0003-4843(70)90001-xopenalex-snapshot
Formal systems for some branches of intuitionistic analysis
inferredcites →https://doi.org/10.1016/0003-4843(78)90029-3openalex-snapshot
An interpretation of intuitionistic analysis
inferredcites →https://doi.org/10.1016/0168-0072(84)90035-6openalex-snapshot
Sheaf models for choice sequences
inferredcites →https://doi.org/10.1016/1385-7258(77)90047-6openalex-snapshot
Special instances of generalized continuity which are conservative over intuitionistic arithmetic
inferredcites →https://doi.org/10.1016/1385-7258(77)90060-9openalex-snapshot
A note on non-extensional operations in connection with continuity and recursiveness
inferredcites →https://doi.org/10.1016/1385-7258(79)90011-8openalex-snapshot
On Ashvinikumar's principle of microscopic completeness
inferredcites →https://doi.org/10.1016/1385-7258(79)90014-3openalex-snapshot
Microscopic completeness of full indications and intuitionist contradictory proofs
inferredcites →https://doi.org/10.1016/b978-0-7204-2076-0.50062-3openalex-snapshot
HISTORICAL BACKGROUND, PRINCIPLES AND METHODS OF INTUITIONISM**Paper read to Section A of the South African Association for the Advancement of Science, Cape Town, July, 1952.
inferredcites →https://doi.org/10.1016/s0049-237x(08)70738-9openalex-snapshot
The Ultra-Intuitionistic Criticism and the Antitraditional Program for Foundations of Mathematics
inferredcites →https://doi.org/10.1016/s0049-237x(08)70746-8openalex-snapshot
Church's Thesis: A Kind of Reducibility Axiom for Constructive Mathematics
inferredcites →https://doi.org/10.1016/s0049-237x(08)70748-1openalex-snapshot
Projections of Lawless Sequences
inferredcites →https://doi.org/10.1016/s0049-237x(08)70755-9openalex-snapshot
Extending the Topological Interpretation to Intuitionistic Analysis, II
inferredcites →https://doi.org/10.1016/s0049-237x(08)70845-0openalex-snapshot
A Survey of Proof Theory II
inferredcites →https://doi.org/10.1016/s0049-237x(08)71127-3openalex-snapshot
Aspects of Constructive Mathematics
inferredcites →https://doi.org/10.1016/s0049-237x(08)71196-0openalex-snapshot
The Theory of Choice Sequences
inferredcites →https://doi.org/10.1016/s0049-237x(08)71257-6openalex-snapshot
Church's Thesis and Principles for Mechanisms
inferredcites →https://doi.org/10.1016/s0049-237x(08)71525-8openalex-snapshot
Informal Rigour and Completeness Proofs
inferredcites →https://doi.org/10.1016/s0049-237x(08)71625-2openalex-snapshot
Constructive Theories of Functions and Classes
inferredcites →https://doi.org/10.1016/s0049-237x(08)71989-xopenalex-snapshot
The Type Theoretic Interpretation of Constructive Set Theory
inferredcites →https://doi.org/10.1016/s0049-237x(09)70133-8openalex-snapshot
Lawlessness and Independence
inferredcites →https://doi.org/10.1016/s0049-237x(09)70145-4openalex-snapshot
On the Origin and Development of Brouwer's Concept of Choice Sequence
inferredcites →https://doi.org/10.1016/s0049-237x(09)70146-6openalex-snapshot
An Application of Projections of Lawless Sequences
inferredcites →https://doi.org/10.1016/s0049-237x(09)70148-xopenalex-snapshot
On the Constructive Contrapositions of Two Axioms of Countable Choice
inferredcites →https://doi.org/10.1016/s1385-7258(70)80014-2openalex-snapshot
Notes on the intuitionistic theory of sequences (II)
inferredcites →https://doi.org/10.1017/cbo9781139171519.025openalex-snapshot
What is Cantor's continuum problem?
inferredcites →https://doi.org/10.1017/s0022481200051859openalex-snapshot
An intuitiomstic completeness theorem for intuitionistic predicate logic
inferredcites →https://doi.org/10.1080/01445348008837007openalex-snapshot
On brouwer's definition of unextendable order
inferredcites →https://doi.org/10.1093/oso/9780198505242.001.0001openalex-snapshot
Elements of Intuitionism
inferredcites →https://doi.org/10.1111/j.1746-8361.1970.tb01203.xopenalex-snapshot
Die schematische Korrespondenz und die idealisierten Strukturen
inferredcites →https://doi.org/10.1112/plms/s2-42.1.230openalex-snapshot
On Computable Numbers, with an Application to the Entscheidungsproblem
inferredcites →https://doi.org/10.2307/2269958openalex-snapshot
Existence and feasibility in arithmetic
inferredcites →https://doi.org/10.2307/2270450openalex-snapshot
Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
inferredcites →https://doi.org/10.2307/2273264openalex-snapshot
The continuum hypothesis in intuitionism
inferredcites →https://doi.org/10.2307/2273735openalex-snapshot
A. S. Troelstra. Choice sequences. A chapter of intuitionistic mathematics. Oxford logic guides. Clarendon Press, Oxford1977, ix + 170 pp.
inferredcites →https://doi.org/10.2307/2273736openalex-snapshot
Michael Dummett. Elements of intuitionism. With the assistance of Roberto Minio. Oxford logic guides. Clarendon Press, Oxford1977, xii + 467 pp.
inferredcites →https://doi.org/10.2307/2964012openalex-snapshot
A remark on free choice sequences and the topological completeness proofs
inferredcites →https://doi.org/10.24033/asens.596openalex-snapshot
Les «paradoxes» de la théorie des ensembles
inferredcites →https://doi.org/10.4064/fm-16-1-29-47openalex-snapshot
Über Grenzzahlen und Mengenbereiche
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-032-05839-3_2openalex-snapshot
Reception Unveiled: Navigating Intuitionistic Narratives
inferred← citeshttps://doi.org/10.1007/978-3-319-05356-1_4openalex-snapshot
Continuity of Motion in Whitehead’s Geometrical Space
inferred← citeshttps://doi.org/10.1007/978-3-319-74357-8_5openalex-snapshot
On the Brouwerian Concept of Negative Continuity
inferred← citeshttps://doi.org/10.1007/bf00247186openalex-snapshot
Intuitionism: An introduction to a seminar
inferred← citeshttps://doi.org/10.1007/bf00649482openalex-snapshot
On the Brouwerian concept of negative continuity
inferred← citeshttps://doi.org/10.1007/bfb0099388openalex-snapshot
Constructing choice sequences from lawless sequences of neighbourhood functions
inferred← citeshttps://doi.org/10.1007/s10479-013-1404-6openalex-snapshot
Using Brouwer’s continuity principle to pick stocks
inferred← citeshttps://doi.org/10.1007/s10743-007-9030-2openalex-snapshot
Entities Without Identities vs. Temporal Modalities of Choice
inferred← citeshttps://doi.org/10.1016/0168-0072(84)90035-6openalex-snapshot
Sheaf models for choice sequences
inferred← citeshttps://doi.org/10.1016/j.indag.2018.06.005openalex-snapshot
The Creating Subject, the Brouwer–Kripke Schema, and infinite proofs
inferred← citeshttps://doi.org/10.1016/j.indag.2019.01.003openalex-snapshot
Free choice sequences: A temporal interpretation compatible with acceptance of classical mathematics
inferred← citeshttps://doi.org/10.1016/s0049-237x(09)70145-4openalex-snapshot
On the Origin and Development of Brouwer's Concept of Choice Sequence
inferred← citeshttps://doi.org/10.1017/cbo9780511910616.009openalex-snapshot
History of constructivism in the 20th century
inferred← citeshttps://doi.org/10.1017/psa.2022.97openalex-snapshot
Connecting the Revolutionary with the Conventional: Rethinking the Differences between the Works of Brouwer, Heyting, and Weyl
inferred← citeshttps://doi.org/10.1080/01445349208837203openalex-snapshot
Spreads or choice sequences?
inferred← citeshttps://doi.org/10.1093/philmat/10.2.203openalex-snapshot
Brouwer and Weyl: The Phenomenology and Mathematics of the Intuitive Continuum
inferred← citeshttps://doi.org/10.13140/rg.2.1.2855.5769openalex-snapshot
Existence Assumptions and Logical Principles : Choice Operators in Intuitionistic Logic
inferred← citeshttps://doi.org/10.21452/isbn.978-65-900390-1-9_lna_serie-a_v.2openalex-snapshot
About logic and logicians. Volume 1: Philosophy
inferred← citeshttps://doi.org/10.21452/isbn.978-65-900390-2-6_lna_serie-a_v.1openalex-snapshot
About logic and logicians. Volume 1: Philosophy
inferred← citeshttps://doi.org/10.2178/bsl/1182353892openalex-snapshot
Arguments for the Continuity Principle
inferred← citeshttps://doi.org/10.2307/2273863openalex-snapshot
Relative lawlessness in intuitionistic analysis
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.