Pages that link to "Item:Q4328795"
From MaRDI portal
The following pages link to Second-Order Logic and Foundations of Mathematics (Q4328795):
Displaying 42 items.
- A geometrical characterization of the twin paradox and its variants (Q609644) (← links)
- A defense of second-order logic (Q660454) (← links)
- From IF to BI. A tale of dependence and separation (Q833040) (← links)
- What's right with a syntactic approach to theories and models? (Q907910) (← links)
- Axiomatizing relativistic dynamics without conservation postulates (Q941737) (← links)
- On the formal semantics of IF-like logics (Q980942) (← links)
- How recent work in mathematical logic relates to the foundations of mathematics (Q1085151) (← links)
- Principles of reflection and second-order logic (Q1097275) (← links)
- Conceptual realism versus Quine on classes and higher-order logic (Q1187230) (← links)
- A revolution in the foundations of mathematics? (Q1297035) (← links)
- Semantics for two second-order logical systems: \(\equiv\mathbf{RRC}^*\) and Cocchiarella's \(\mathbf{RRC}^*\) (Q1355128) (← links)
- Existential monadic second order logic on random rooted trees (Q1618231) (← links)
- Second-order logic and the power set (Q1702982) (← links)
- Second-order propositional modal logic: expressiveness and completeness results (Q1731834) (← links)
- Deflationism beyond arithmetic (Q2052155) (← links)
- Axiomatizations of arithmetic and the first-order/second-order divide (Q2053347) (← links)
- Intrinsic, extrinsic, and the constitutive a priori (Q2072028) (← links)
- Structural relativity and informal rigour (Q2080583) (← links)
- On representations of intended structures in foundational theories (Q2121479) (← links)
- Model theoretic characterizations of large cardinals (Q2182021) (← links)
- Defining behaviorizeable relations to enable inference in semi-automatic program synthesis (Q2239281) (← links)
- Burali-Forti as a purely logical paradox (Q2281317) (← links)
- Can logic be combined with probability? Probably (Q2390653) (← links)
- Special relativity over the field of rational numbers (Q2391975) (← links)
- Twin paradox and the logical foundation of relativity theory (Q2505242) (← links)
- A critical appraisal of second-order logic (Q3141185) (← links)
- Forcing, Multiverse and Realism (Q3295824) (← links)
- The Significance of a Categoricity Theorem for Formal Theories and Informal Beliefs (Q3295830) (← links)
- Pedagogical Second-order Propositional Calculi (Q3520242) (← links)
- Second-Order Equational Logic (Extended Abstract) (Q3586049) (← links)
- Second-Order Algebraic Theories (Q3586098) (← links)
- Do Not Claim Too Much: Second-order Logic and First-order Logic (Q4237643) (← links)
- Rudimentary Languages and Second‐Order Logic (Q4351932) (← links)
- Breaking the Atom with Samson (Q4922090) (← links)
- (Q4989394) (← links)
- Logicism and Second-Order Logic (Q5137234) (← links)
- Second-Order Arithmetic Sans Sets (Q5245970) (← links)
- THE EXPRESSIVE POWER OF TRUTH (Q5259727) (← links)
- LOGIC IN THE <i>TRACTATUS</i> (Q5737959) (← links)
- On the algebraization of Henkin‐type second‐order logic (Q6094141) (← links)
- The logic of separation logic: models and proofs (Q6541164) (← links)
- Number theory and infinity without mathematics (Q6623811) (← links)
