Fregean Extensions of First‐Order Theories

DOI10.1002/malq.19940400104zbMath0806.03007OpenAlexW1963709093MaRDI QIDQ4304145

No author found.

Publication date: 5 October 1994

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19940400104

zbMATH Keywords

first-order theoriesconservative extensionFregean extensionTarski's theorem on the undefinability of truthFrege's abstraction schemeFregean theory

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Related Items (3)

Frege, Boolos, and logical objects ⋮ What is Neologicism? ⋮ Tarski on ``essentially richer metalanguages

This page was built for publication: Fregean Extensions of First‐Order Theories