Pages that link to "Item:Q4328795"
From MaRDI portal
The following pages link to Second-Order Logic and Foundations of Mathematics (Q4328795):
Displaying 25 items.
- A geometrical characterization of the twin paradox and its variants (Q609644) (← 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)
- 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)
- 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)
- Forcing, Multiverse and Realism (Q3295824) (← links)
- The Significance of a Categoricity Theorem for Formal Theories and Informal Beliefs (Q3295830) (← links)
- Breaking the Atom with Samson (Q4922090) (← links)
- (Q4989394) (← 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)
