The following pages link to Solomon Feferman (Q190333):
Displaying 50 items.
- Hilbert's program relativized; Proof-theoretical and foundational reductions (Q3803081) (← links)
- (Q3813782) (← links)
- (Q3855168) (← links)
- (Q3880813) (← links)
- (Q3882452) (← links)
- (Q3890680) (← links)
- Reflecting on incompleteness (Q3981446) (← links)
- (Q4010354) (← links)
- (Q4014776) (← links)
- (Q4016542) (← links)
- A new approach to abstract data types, I Informal development (Q4017460) (← links)
- (Q4043018) (← links)
- Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures (Q4049058) (← links)
- (Q4055632) (← links)
- (Q4068717) (← links)
- (Q4071232) (← links)
- (Q4075459) (← links)
- (Q4087148) (← links)
- Two notes on abstract model theory. II. Languages for which, the set of valid sentences is semi-invariantly implicitly definable (Q4101813) (← links)
- (Q4128540) (← links)
- (Q4141228) (← links)
- (Q4185007) (← links)
- (Q4202934) (← links)
- (Q4215634) (← links)
- (Q4237309) (← links)
- (Q4282586) (← links)
- (Q4385479) (← links)
- Tarski’s Influence on Computer Science (Q4611682) (← links)
- Theses for Computation and Recursion on Concrete and Abstract Structures (Q4637218) (← links)
- (Q4661905) (← links)
- (Q4663833) (← links)
- (Q4692958) (← links)
- (Q4698612) (← links)
- (Q4723698) (← links)
- (Q4723729) (← links)
- (Q4731182) (← links)
- (Q4793426) (← links)
- (Q4793432) (← links)
- (Q4793434) (← links)
- (Q4831099) (← links)
- (Q4883239) (← links)
- (Q4893132) (← links)
- FOUNDATIONS OF UNLIMITED CATEGORY THEORY: WHAT REMAINS TO BE DONE (Q4918375) (← links)
- (Q4981446) (← links)
- (Q4981447) (← links)
- Kurt Schütte’s Way (Q5013892) (← links)
- Parsons and I: Sympathies and Differences (Q5019313) (← links)
- Gödel, Nagel, Minds, and Machines (Q5214795) (← links)
- (Q5236405) (← links)
- Enriched Stratified Systems for the Foundations of Category Theory (Q5260987) (← links)
