Fregean Extensions of First‐Order Theories (Q4304145)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 636005
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.82399582862854
0 references
0.8060616850852966
0 references
0.7770023941993713
0 references
0.7727896571159363
0 references
