The UvA-LINKER will give you a range of other options to find the full text of a publication (including a direct link to the full-text if it is located on another database on the internet).
De UvA-LINKER biedt mogelijkheden om een publicatie elders te vinden (inclusief een directe link naar de publicatie online als deze beschikbaar is in een database op het internet).
| Author||L. Keskinen|
|Title||Characterizing all models in infinite cardinalities|
|Publisher||Institute for Logic, Language and Computation|
|Faculty||Faculty of Science|
|Institute/dept.||FNWI: Institute for Logic, Language and Computation (ILLC)|
|Abstract||Fix a cardinal κ. We can ask the question what kind of a logic L is needed to characterize all models of cardinality κ (in a finite vocabulary) up to isomorphism by their L-theories. In other words: for which logics L it is true that if any models A and B satisfy the same L-theory then they are isomorphic.|
It is always possible to characterize models of cardinality κ by their Lκ+,κ+- theories, but we are interested in finding a "small" logic L, i.e. the sentences of L are hereditarily smaller than κ. For any cardinal κ it is independent of ZFC whether any such small definable logic L exists. If it exists it can be second order logic for κ = ω and fourth order logic or certain infinitary second order logic L2κ,ω for uncountable κ. All models of cardinality κ can always be characterized by their theories in a small logic with generalized quantifiers, but the logic may be not definable in the language of set theory.
|Note||ILLC dissertation series DS-2011-05|
Use this url to link to this page: http://dare.uva.nl/en/record/391513
Contact us about this recordNotify a colleague
Add to bookbag