Pages that link to "Item:Q1568382"
From MaRDI portal
The following pages link to Consistent fragments of \textit{Grundgesetze} and the existence of non-logical objects (Q1568382):
Displayed 15 items.
- Term models for abstraction principles (Q263082) (← links)
- Predicativity, the Russell-Myhill paradox, and Church's intensional logic (Q300834) (← links)
- Comparing Peano arithmetic, Basic Law V, and Hume's Principle (Q450961) (← links)
- Plural logicism (Q485629) (← links)
- On the consistency of a plural theory of Frege's \textit{Grundgesetze} (Q539155) (← links)
- Consistency, models, and soundness (Q551223) (← links)
- Frege's other program (Q558436) (← links)
- Plural \(Grundgesetze\) (Q603901) (← links)
- Frege's permutation argument revisited (Q813414) (← links)
- On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze (Q1857358) (← links)
- Frege, Boolos, and logical objects (Q1876080) (← links)
- THE CONVENIENCE OF THE TYPESETTER; NOTATION AND TYPOGRAPHY IN FREGE’S<i>GRUNDGESETZE DER ARITHMETIK</i> (Q2795303) (← links)
- THE SEMANTICS OF VALUE-RANGE NAMES AND FREGE’S PROOF OF REFERENTIALITY (Q4577995) (← links)
- What is Neologicism? (Q5479569) (← links)
- Identity and the cognitive value of logical equations in Frege's foundational project (Q6123818) (← links)