The following pages link to Solomon Feferman (Q190333):
Displaying 50 items.
- And so on \dots : reasoning with infinite diagrams (Q375286) (← links)
- Tarski's conception of logic (Q598260) (← links)
- Operational set theory and small large cardinals (Q731889) (← links)
- Intensionality in mathematics (Q762052) (← links)
- Set-theoretical invariance criteria for logicality (Q976533) (← links)
- Harmonious logic: Craig's interpolation theorem and its descendants (Q1024116) (← links)
- What does logic have to tell us about mathematical proofs? (Q1135835) (← links)
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies (Q1166517) (← links)
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. I (Q1314542) (← links)
- Predicative foundations of arithmetic (Q1344849) (← links)
- The unfolding of non-finitist arithmetic (Q1577479) (← links)
- Mathematical intuition vs. mathematical monsters (Q1840991) (← links)
- Does reductive proof theory have a viable rationale? (Q1841001) (← links)
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. II (Q1919537) (← links)
- Computation on abstract data types. The extensional approach, with an application to streams (Q1923575) (← links)
- On rereading van Heijenoort's selected essays (Q1942099) (← links)
- (Q2702728) (← links)
- (Q2755496) (← links)
- Does Mathematics Need New Axioms? (Q2757346) (← links)
- IN MEMORIAM: GRIGORI E. MINTS 1939–2014 (Q2795304) (← links)
- (Q2856488) (← links)
- (Q3001097) (← links)
- (Q3039340) (← links)
- Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis (Q3039341) (← links)
- UNFOLDING FINITIST ARITHMETIC (Q3066785) (← links)
- (Q3079613) (← links)
- (Q3081636) (← links)
- Logic and Methodology, Center Stage1 (Q3082004) (← links)
- (Q3138832) (← links)
- Degrees of unsolvability associated with classes of formalized theories (Q3243263) (← links)
- The first order properties of products of algebraic systems (Q3261418) (← links)
- Arithmetization of metamathematics in a general setting (Q3273298) (← links)
- Classifications of Recursive Functions by Means of Hierarchies (Q3291527) (← links)
- Which Quantifiers Are Logical? A Combined Semantical and Inferential Criterion (Q3299517) (← links)
- The Operational Perspective: Three Routes (Q3305557) (← links)
- The Gödel Editorial Project: A Synopsis (Q3370617) (← links)
- Are There Absolutely Unsolvable Problems? Godel's Dichotomy (Q3422398) (← links)
- A Fortuitous Year with Leon Henkin (Q3454802) (← links)
- (Q3478384) (← links)
- (Q3503674) (← links)
- (Q3509181) (← links)
- (Q3527486) (← links)
- AXIOMS FOR DETERMINATENESS AND TRUTH (Q3580669) (← links)
- (Q3621604) (← links)
- (Q3663255) (← links)
- (Q3671968) (← links)
- Toward useful type-free theories. I (Q3691666) (← links)
- (Q3695245) (← links)
- (Q3699688) (← links)
- (Q3722499) (← links)
