Department of Philosophy,Lingustics and Theory of Science / Institutionen för filosofi, lingvistik och vetenskapsteori: Recent submissions
Now showing items 221-226 of 226
-
Kardinalitet utan Urvalsaxiomet; ett potpourri
(2011-05-10)Urvalsaxiomet (AC) är numera allmänt accepterat som ett naturligt fun- dament i mängdlära. Här presenterar vi hur kardinalitet och kardinaltal kan de nieras utan AC och visar ett antal klassiska resultat om vad som kan ... -
On Rosser sentences and proof predicates
(2011-05-10)It is a well known fact that the G ̈del sentences γ of a theory T are o all provably equivalent to the consistency statement of T , Con T . This result is independent from choice of proof predicate. It has been proved by ... -
Morley’s number of countable models
(2011-05-10)A theory formulated in a countable predicate calculus can have at most 2א0 nonisomorphic countable models. In 1961 R. L. Vaught [9] conjected that if such a theory has uncountably many countable models, then it has exactly ... -
Infinite time computations and infinite algorithms
(2011-05-10)In this paper we investigate infinite time Turing machines as defined by Hamkins and Lewis in [1]. We extend the result in [2] showing that a larger set of clockable ordinals are 1-tape clockable. Furthermore, a new notion ... -
Omitting Types and Model Theory
(2011-05-10)This essay is an attempt to create some model theory specific for the context of a type being omitted.