Fregean Extensions of First‐Order Theories (Q4304145)
From MaRDI portal
scientific article; zbMATH DE number 636005
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Fregean Extensions of First‐Order Theories |
scientific article; zbMATH DE number 636005 |
Statements
Fregean Extensions of First‐Order Theories (English)
0 references
5 October 1994
0 references
Fregean theory
0 references
Frege's abstraction scheme
0 references
Fregean extension
0 references
conservative extension
0 references
first-order theories
0 references
Tarski's theorem on the undefinability of truth
0 references
