Using elementary first order logic we can prove many things about models and theories, however more can be gleamed if we consider sentences with countably many conjunctions and disjunctions, yet still have the restriction of using only finitely many quantifiers. A logic with this feature is L_{\omega_1 , \omega}. In 1965 Scott proved by construction the existence of an L_{\omega_1 , \omega} sentence that could describe a countable model up to isomorphism. This type of infinitary sentence is now known as a Scott sentence. Given an infinitary cardinal \kappa, we wish to find a set of conditions such that if a countable model satisfies (or can be expanded to satisfy) these conditions, a Scott sentence of it will have a model of cardinality \ka...
Classification is an important goal in many branches of mathematics. The idea is to describe the mem...
Classification is an important goal in many branches of mathematics. The idea is to describe the mem...
3siThis paper considers ∃∗∀∗ prenex sentences of pure first-order predicate calculus with equality. ...
We show that Morley's theorem on the number of countable models of a countable first-order theory be...
AbstractBounds are obtained for the Scott sentence of a structure. Special attention is given to lin...
We calculate the possible Scott ranks of countable models of Peano arithmetic. We show that no non-s...
We begin with a disucssion of some of the serious deficiencies of first order predicate languages. T...
We begin with a disucssion of some of the serious deficiencies of first order predicate languages. T...
This paper considers ∃*∀* prenex sentences of pure first-order predicate calculus with equality. Thi...
In the early days of the development of model theory it was considered natural and was certainly ben...
AbstractFix a cardinal κ. We can ask the question: what kind of a logic L is needed to characterize ...
AbstractWe generalize Baeten and Boerboom's method of forcing to show that there is a fixed sequence...
AbstractFix a cardinal κ. We can ask the question: what kind of a logic L is needed to characterize ...
We prove various results about the complexity of countable structures, both computable and arbitrary...
Fix a cardinal κ. We can ask the question what kind of a logic L is needed to characterize all model...
Classification is an important goal in many branches of mathematics. The idea is to describe the mem...
Classification is an important goal in many branches of mathematics. The idea is to describe the mem...
3siThis paper considers ∃∗∀∗ prenex sentences of pure first-order predicate calculus with equality. ...
We show that Morley's theorem on the number of countable models of a countable first-order theory be...
AbstractBounds are obtained for the Scott sentence of a structure. Special attention is given to lin...
We calculate the possible Scott ranks of countable models of Peano arithmetic. We show that no non-s...
We begin with a disucssion of some of the serious deficiencies of first order predicate languages. T...
We begin with a disucssion of some of the serious deficiencies of first order predicate languages. T...
This paper considers ∃*∀* prenex sentences of pure first-order predicate calculus with equality. Thi...
In the early days of the development of model theory it was considered natural and was certainly ben...
AbstractFix a cardinal κ. We can ask the question: what kind of a logic L is needed to characterize ...
AbstractWe generalize Baeten and Boerboom's method of forcing to show that there is a fixed sequence...
AbstractFix a cardinal κ. We can ask the question: what kind of a logic L is needed to characterize ...
We prove various results about the complexity of countable structures, both computable and arbitrary...
Fix a cardinal κ. We can ask the question what kind of a logic L is needed to characterize all model...
Classification is an important goal in many branches of mathematics. The idea is to describe the mem...
Classification is an important goal in many branches of mathematics. The idea is to describe the mem...
3siThis paper considers ∃∗∀∗ prenex sentences of pure first-order predicate calculus with equality. ...