The following pages link to (Q5525322):
Displaying 36 items.
- \(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps (Q429596) (← links)
- Formal notes on the substitutional analysis of logical consequence (Q778737) (← links)
- Principles of reflection and second-order logic (Q1097275) (← links)
- Transfinite expansions of arithmetic formulas (Q1254249) (← links)
- From constructivism to computer science (Q1274450) (← links)
- On theorems of Gödel and Kreisel: Completeness and Markov's principle (Q1333319) (← links)
- Five observations concerning the intended meaning of the intuitionistic logical constants (Q1582231) (← links)
- To be or not to be constructive, that is not the question (Q1688964) (← links)
- The ontology of digital physics (Q1707215) (← links)
- The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) (← links)
- Knowledge-based proof planning (Q1978469) (← links)
- Rosser provability and the second incompleteness theorem (Q2097058) (← links)
- Justification logic and type theory as formalizations of intuitionistic propositional logic (Q2151394) (← links)
- Parametric Church's thesis: synthetic computability without choice (Q2151397) (← links)
- Montague's paradox, informal provability, and explicit modal logic (Q2452676) (← links)
- Some applications of Gentzens second consistency proof (Q2535674) (← links)
- Inductive completeness of logics of programs (Q2804944) (← links)
- Well-Partial Orderings and their Maximal Order Types (Q3295157) (← links)
- Verificationism and Classical Realizability (Q3305313) (← links)
- The Operational Perspective: Three Routes (Q3305557) (← links)
- On the Completeness of Dynamic Logic (Q3617722) (← links)
- Extensions to a generalization critic for inductive proof (Q4647499) (← links)
- The Significance of Relativistic Computation for the Philosophy of Mathematics (Q5015969) (← links)
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS (Q5117593) (← links)
- Physical Computability Theses (Q5119662) (← links)
- Unfolding Schematic Systems (Q5214786) (← links)
- Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session (Q5250212) (← links)
- Gödel and Intuitionism (Q5250219) (← links)
- Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis (Q5537358) (← links)
- (Q5539743) (← links)
- (Q5593817) (← links)
- Algorithmic properties of structures (Q5600863) (← links)
- (Q5652656) (← links)
- Intrinsic reasoning about functional programs. I: First order theories (Q5957855) (← links)
- The substitutional analysis of logical consequence (Q6495237) (← links)
- Formal ontology and mathematics. A case study on the identity of proofs (Q6652800) (← links)
