Structural-Abstraction Principles

DOI10.1093/PHILMAT/NKV033MaRDI QIDQ4626020zbMATH OpenOpenAlexFDO

Authors Graham Leach-Krouse

Publication date 26 February 2019

Published in Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/philmat/nkv033

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Nonclassical and second-order set theories (03E70)

Recommendations

• scientific article; zbMATH DE number 1254496
• Structural Counter Abstraction
• scientific article; zbMATH DE number 1104443
• scientific article; zbMATH DE number 4210132
• Structural rules for abduction
• Abstraction by Embedding and Constraint-Based Design
• Term Rewriting and Applications
• Term models for abstraction principles
• Principles of abstract interpretation
• Automated Technology for Verification and Analysis

Cited in

(9)

• Notions of invariance for abstraction principles
• THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES
• scientific article; zbMATH DE number 4210132 (Why is no real title available?)
• scientific article; zbMATH DE number 1254496 (Why is no real title available?)
• scientific article; zbMATH DE number 2079129 (Why is no real title available?)
• Categories for the neologicist
• Structuralist neologicism
• The structuralist thesis reconsidered
• Structural Counter Abstraction

This page was built for publication: Structural-Abstraction Principles

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4626020)