Term models for abstraction principles

DOI10.1007/S10992-015-9344-ZzbMath1336.03011OpenAlexW1998888450MaRDI QIDQ263082

Leon Horsten, Øystein Linnebo

Publication date: 4 April 2016

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://research-information.bris.ac.uk/ws/files/56264157/SyntacticModelsAbstrFIN_JPL_NOV14.pdf

zbMATH Keywords

paradoxFregelogicismabstractionDummettgroundednessterm model

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)

Related Items (1)

Unified grounding

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Frege's proof of referentiality
• Bad company tamed
• Introduction to the special issue on the bad company problem
• Grundgesetze der Arithmetik I \S\S 29-32
• Consistent fragments of \textit{Grundgesetze} and the existence of non-logical objects
• On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze
• Abstraction Reconceived
• THE ITERATIVE CONCEPTION OF SET
• The Consistency of predicative fragments of frege’s grundgesetze der arithmetik
• Burgess’PVis Robinson’sQ

This page was built for publication: Term models for abstraction principles