Login

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Feferman, Solomon, Formal Consistency Proofs and Interpretability of Theories
Feferman, Solomon, Infinitary Properties, Local Functors, and Systems of Ordinal Functions
Feferman, Solomon, Infinity in Mathematics: Is Cantor Necessary?
Feferman, Solomon, Investigative Logic for Theories of Partial Functions and Relations, I.
Feferman, Solomon, Mathematics as Objective Subjectivity
Feferman, Solomon, Persistent and Invariant Formulas for Outer Extensions
Feferman, Solomon, Sentences of Arithmetic which Formally Express Consistency
Feferman, Solomon, Some Formal Systems for the Unlimited Theory of Structures and Categories
Feferman, Solomon, The Logic of Mathematical Discovery vs. The Logical Structure of Mathematics
Feferman, Solomon, Working Foundations