The following pages link to Fernando Ferreira (Q558442):
Displayed 44 items.
- A simple proof of Parsons' theorem (Q558443) (← links)
- Amending Frege's \textit{Grundgesetze der Arithmetik} (Q813411) (← links)
- Bounded functional interpretation and feasible analysis (Q866559) (← links)
- The faithfulness of \(\mathbf{F_{at}}\): a proof-theoretic proof (Q897484) (← links)
- Harrington's conservation theorem redone (Q948908) (← links)
- Injecting uniformities into Peano arithmetic (Q1006608) (← links)
- Commuting conversions vs. the standard conversions of the ``good'' connectives (Q1037589) (← links)
- A note on finiteness in the predicative foundations of arithmetic (Q1288136) (← links)
- Binary models generated by their tally part (Q1337500) (← links)
- On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze (Q1857358) (← links)
- What are the \(\forall \Sigma_ 1^ b\)-consequences of \(T_ 2^ 1\) and \(T_ 2^ 2\)? (Q1899145) (← links)
- Nonstandardness and the bounded functional interpretation (Q2344622) (← links)
- The finitistic consistency of Heck's predicative Fregean system (Q2345392) (← links)
- A herbrandized functional interpretation of classical first-order logic (Q2402958) (← links)
- Bounded functional interpretation (Q2488269) (← links)
- Comments on predicative logic (Q2499285) (← links)
- Interpretability in Robinson's Q (Q2870105) (← links)
- A Short Note on Spector’s Proof of Consistency of Analysis (Q2904410) (← links)
- A NEW COMPUTATION OF THE Σ-ORDINAL OF KPω (Q2921035) (← links)
- Elementary Proof of Strong Normalization for Atomic F (Q2957669) (← links)
- (Q3079692) (← links)
- Groundwork for weak analysis (Q3149983) (← links)
- (Q3437622) (← links)
- (Q3487327) (← links)
- (Q3518438) (← links)
- (Q3535940) (← links)
- The bounded functional interpretation of the double negation shift (Q3570171) (← links)
- (Q3621603) (← links)
- (Q3621606) (← links)
- (Q4035308) (← links)
- (Q4230815) (← links)
- Two General Results on Intuitionistic Bounded Theories (Q4264539) (← links)
- (Q4314309) (← links)
- A feasible theory for analysis (Q4314687) (← links)
- (Q4867394) (← links)
- On End‐Extensions of Models of ¬exp (Q4868237) (← links)
- (Q4896525) (← links)
- Atomic polymorphism (Q4916559) (← links)
- (Q5004949) (← links)
- (Q5222079) (← links)
- (Q5224790) (← links)
- Spector’s Proof of the Consistency of Analysis (Q5361252) (← links)
- Counting as integration in feasible analysis (Q5485404) (← links)
- (Q5711883) (← links)