On the public citation graph

Notes on intuitionistic second order arithmetic

https://doi.org/10.1007/bfb0066774
0 signed · 51 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/bf02015371openalex-snapshot
Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik
inferredcites →https://doi.org/10.1007/bfb0068783openalex-snapshot
Proof Theory and Intuitionistic Systems
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/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)70757-2openalex-snapshot
Some Results for Intuitionistic Logic with Second Order Quantification Rules
inferredcites →https://doi.org/10.1016/s0049-237x(08)70758-4openalex-snapshot
On Cut Elimination in Intuitionistic Systems of Analysis
inferredcites →https://doi.org/10.1016/s0049-237x(08)70843-7openalex-snapshot
Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des Types
inferredcites →https://doi.org/10.1016/s0049-237x(08)70844-9openalex-snapshot
A Normalform in First Order Arithmetic
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)70849-8openalex-snapshot
Ideas and Results in Proof Theory
inferredcites →https://doi.org/10.1016/s0049-237x(08)70854-1openalex-snapshot
Notions of Realizability for Intuitionistic Arithmetic and Intuitionistic Arithmetic in all Finite Types
inferredcites →https://doi.org/10.1016/s0049-237x(09)70361-1openalex-snapshot
Towards A Foundation of A General Proof Theory
inferredcites →https://doi.org/10.1111/j.1746-8361.1958.tb01464.xopenalex-snapshot
Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes
inferredcites →https://doi.org/10.2307/2269016openalex-snapshot
On the interpretation of intuitionistic number theory
inferredcites →https://doi.org/10.2307/2963675openalex-snapshot
Disjunction and existence under implication in elementary intuitionistic formalisms

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/malq.19830291004openalex-snapshot
NEW PROOFS OF SOME INTUITIONISTIC PRINCIPLES
inferred← citeshttps://doi.org/10.1007/3-540-44404-1_18openalex-snapshot
A New Model Construction for the Polymorphic Lambda Calculus
inferred← citeshttps://doi.org/10.1007/978-3-031-52411-0_20openalex-snapshot
Natural constructive proofs of A via A -> B, proof paradoxes, and impredicativity
inferred← citeshttps://doi.org/10.1007/978-94-009-5203-4_4openalex-snapshot
Intuitionistic Logic
inferred← citeshttps://doi.org/10.1007/978-94-009-8356-4_10openalex-snapshot
Philosophical aspects of proof theory
inferred← citeshttps://doi.org/10.1007/978-94-010-1138-9_4openalex-snapshot
Axioms for Intuitionistic Mathematics Incompatible with Classical Logic
inferred← citeshttps://doi.org/10.1007/978-94-017-0458-8_1openalex-snapshot
Intuitionistic Logic
inferred← citeshttps://doi.org/10.1007/bf00247189openalex-snapshot
Analysing choice sequences
inferred← citeshttps://doi.org/10.1007/bf00713546openalex-snapshot
Intuitionistic uniformity principles for propositions and some applications
inferred← citeshttps://doi.org/10.1007/bf01084980openalex-snapshot
Theory of proofs (arithmetic and analysis)
inferred← citeshttps://doi.org/10.1007/bfb0090734openalex-snapshot
Independence of premisses and the free topos
inferred← citeshttps://doi.org/10.1016/0003-4843(76)90008-5openalex-snapshot
Kripke models and the intuitionistic theory of species
inferred← citeshttps://doi.org/10.1016/0022-4049(80)90102-4openalex-snapshot
Intuitionist type theory and the free topos
inferred← citeshttps://doi.org/10.1016/0304-3975(86)90044-7openalex-snapshot
The system F of variable types, fifteen years later
inferred← citeshttps://doi.org/10.1016/j.tcs.2003.11.011openalex-snapshot
Building continuous webbed models for system F
inferred← citeshttps://doi.org/10.1016/j.tcs.2010.12.019openalex-snapshot
Aspects of predicative algebraic set theory, II: Realizability
inferred← citeshttps://doi.org/10.1016/s0049-237x(08)70127-7openalex-snapshot
Type Theory and Explicit Mathematics
inferred← citeshttps://doi.org/10.1016/s0049-237x(08)70131-9openalex-snapshot
Some Aspects of Impredicativity
inferred← citeshttps://doi.org/10.1016/s0049-237x(08)71127-3openalex-snapshot
Aspects of Constructive Mathematics
inferred← citeshttps://doi.org/10.1016/s0049-237x(09)70161-2openalex-snapshot
Intuitionistic formal systems
inferred← citeshttps://doi.org/10.1016/s0049-237x(09)70361-1openalex-snapshot
Towards A Foundation of A General Proof Theory
inferred← citeshttps://doi.org/10.1016/s0049-237x(09)70502-6openalex-snapshot
Problematic Principles in Constructive Mathematics
inferred← citeshttps://doi.org/10.1016/s0049-237x(98)80021-9openalex-snapshot
Realizability
inferred← citeshttps://doi.org/10.1016/s0168-0072(01)00080-xopenalex-snapshot
Analyzing realizability by Troelstra's methods
inferred← citeshttps://doi.org/10.1016/s0304-3975(97)00172-2openalex-snapshot
From constructivism to computer science
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80724-8openalex-snapshot
Building continuous webbed models for system F
inferred← citeshttps://doi.org/10.1016/s1874-5857(09)70007-xopenalex-snapshot
The Logic of Brouwer and Heyting
inferred← citeshttps://doi.org/10.1017/s0960129500001298openalex-snapshot
Constructive natural deduction and its ‘ω-set’ interpretation
inferred← citeshttps://doi.org/10.1023/a:1017954806119openalex-snapshot
Provability in Principle and Controversial Constructivistic Principles
inferred← citeshttps://doi.org/10.1070/im2013v077n06abeh002676openalex-snapshot
Independence of the uniformity principle from Church's thesis in intuitionistic set theory
inferred← citeshttps://doi.org/10.1093/oxfordhb/9780195325928.003.0010openalex-snapshot
Intuitionism in Mathematics
inferred← citeshttps://doi.org/10.1093/philmat/nkv035openalex-snapshot
Nick Haverkamp.Intuitionism vs. Classicism: A Mathematical Attack on Classical Logic. Studies in Theoretical Philosophy, Vol. 2. Frankfurt: Klostermann, 2015. ISBN 978-3-465-03906-8 (pbk). Pp. xvi + 270
inferred← citeshttps://doi.org/10.1305/ndjfl/1093635925openalex-snapshot
Polymorphism and apartness.
inferred← citeshttps://doi.org/10.2307/2271871openalex-snapshot
On the derivability of instantiation properties
inferred← citeshttps://doi.org/10.4213/im7739openalex-snapshot
Независимость принципа униформизации от тезиса Чeрча в интуиционистской теории множеств
inferred← citeshttps://doi.org/10.48550/arxiv.1301.2134openalex-snapshot
Realizability Categories
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.