Second-Order Logic and Foundations of Mathematics
From MaRDI portal
Publication:4328795
Recommendations
Cites work
- scientific article; zbMATH DE number 50939 (Why is no real title available?)
- scientific article; zbMATH DE number 1226875 (Why is no real title available?)
- scientific article; zbMATH DE number 972408 (Why is no real title available?)
- Absolute logics and L∞ω
- Completeness in the theory of types
- The spectrum problem. I: \(\aleph_{\epsilon}\)-saturated models, the main gap
- The spectrum problem. II: Totally transcendental and infinite depth
Cited in
(53)- Special relativity over the field of rational numbers
- Logicism and Second-Order Logic
- Existential monadic second order logic on random rooted trees
- scientific article; zbMATH DE number 1984507 (Why is no real title available?)
- Logic in the \textit{Tractatus}
- Strong logics of first and second order
- On the formal semantics of IF-like logics
- A geometrical characterization of the twin paradox and its variants
- Principles of reflection and second-order logic
- Alternative versions of second-order logic: an introduction
- A critical appraisal of second-order logic
- On representations of intended structures in foundational theories
- The expressive power of truth
- scientific article; zbMATH DE number 7350767 (Why is no real title available?)
- Breaking the atom with Samson
- The Significance of a Categoricity Theorem for Formal Theories and Informal Beliefs
- Second-order logic and the power set
- Second order logic, set theory and foundations of mathematics
- Rudimentary Languages and Second‐Order Logic
- Defining behaviorizeable relations to enable inference in semi-automatic program synthesis
- Model theoretic characterizations of large cardinals
- On the algebraization of Henkin‐type second‐order logic
- From IF to BI. A tale of dependence and separation
- Can logic be combined with probability? Probably
- scientific article; zbMATH DE number 50939 (Why is no real title available?)
- Twin paradox and the logical foundation of relativity theory
- scientific article; zbMATH DE number 2076264 (Why is no real title available?)
- Second-order languages and mathematical practice
- Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics
- Number theory and infinity without mathematics
- Reasoning about constructive concepts
- Burali-Forti as a purely logical paradox
- Axiomatizations of arithmetic and the first-order/second-order divide
- Forcing, Multiverse and Realism
- Axiomatizing relativistic dynamics without conservation postulates
- What's right with a syntactic approach to theories and models?
- Second-order arithmetic \textit{sans} sets
- Intrinsic, extrinsic, and the constitutive a priori
- Second-order propositional modal logic: expressiveness and completeness results
- Deflationism beyond arithmetic
- Extensionalizing intensional second-order logic
- A defense of second-order logic
- Structural relativity and informal rigour
- Second-Order Algebraic Theories
- Second-Order Equational Logic (Extended Abstract)
- Second order logic or set theory?
- Higher-order logic or set theory: a false dilemma
- The logic of separation logic: models and proofs
- What can a categoricity theorem tell us?
- Internal categoricity in arithmetic and set theory
- How recent work in mathematical logic relates to the foundations of mathematics
- Sort logic and foundations of mathematics
- Pedagogical Second-order Propositional Calculi
This page was built for publication: Second-Order Logic and Foundations of Mathematics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4328795)
