A set is said to be amorphous if it is infinite, but is not the disjoint union of two infinite subsets. Thus amorphous sets can exist only if the axiom of choice is false. We give a general study of the structure which an amorphous set can carry, with the object of eventually obtaining a complete classification. The principal types of amorphous set we distinguish are the following: amorphous sets not of projective type, either bounded or unbounded size of members (...) of partitions of the set into finite pieces), and amorphous sets of projective type, meaning that the set admits a non-degenerate pregeometry, over finite fields either of bounded cardinality or of unbounded cardinality. The hope is that all amorphous sets will be of one of these types. Examples of each sort are constructed, and a reconstruction result for bounded amorphous sets is presented, indicating that the amorphous sets of this kind constructed in the paper are the only possible ones. The final section examines some questions concerned with the resulting cardinal arithmetic. (shrink)

Generic automorphisms of certain homogeneous structures are considered, for instance, the rationals as an ordered set, the countable universal homogeneous partial order, and the random graph. Two of these cases were discussed in [7], where it was shown that there is a generic automorphism of the second in the sense introduced in [10]. In this paper. I study various possible definitions of 'generic' and 'mutually generic', and discuss the existence of mutually generic automorphisms in some cases. In addition, generics in (...) the automorphism group of the rational circular order are considered. (shrink)

It is shown that all the countable superatomic boolean algebras of finite rank have the small index property.

We study a notion of ‘o-amorphous’ which bears the same relationship to ‘o-minimal’ as ‘amorphous’ 191–233) does to ‘strongly minimal’. A linearly ordered set is said to be o-amorphous if its only subsets are finite unions of intervals. This turns out to be a relatively straightforward case, and we can provide a complete ‘classification’, subject to the same provisos as in Truss . The reason is that since o-amorphous is an essentially second-order notion, it corresponds more accurately to 0-categorical (...) o-minimal, and our classification is thus very similar to the one given in 565–592) for that case. More interesting structures arise if we replace ‘interval’ in the definition by ‘convex set’, giving us the class of weakly o-amorphous sets. Here, in fact, there are so many examples that a complete classification seems out of the question. We illustrate some of the structures which these may exhibit, and classify them in certain instances not too far removed from the o-amorphous case. (shrink)

A set is said to be amorphous if it is infinite, but cannot be written as the disjoint union of two infinite sets. The possible structures which an amorphous set can carry were discussed in [5]. Here we study an analogous notion at the next level up, that is to say replacing finite/infinite by countable/uncountable, saying that a set is quasi-amorphous if it is uncountable, but is not the disjoint union of two uncountable sets, and every infinite subset has a (...) countably infinite subset. We use the Fraenkel–Mostowski method to give many examples showing the diverse structures which can arise as quasi-amorphous sets, for instance carrying a projective geometry, or a linear ordering, or both; reconstruction results in the style of [1] are harder to come by in this case. (shrink)

A study of the elementary theory of quotients of symmetric groups is carried out in a similar spirit to Shelah . Apart from the trivial and alternating subgroups, the normal subgroups of the full symmetric group S on an infinite cardinal μ are all of the form Sκ = the subgroup consisting of elements whose support has cardinality 20, cƒ 20 < κ, 0 < κ < 20, and κ = 0, we make a further analysis of the first order (...) theory of Sλ/Sκ. introducing many-sorted second order structures , all of whose sorts have cardinality at most 20, and in terms of which we can completely characterize the elementary theory of the groups Sλ/Sκ. (shrink)

We show that the 'tail' of a doubly homogeneous chain of countable cofinality can be recognized in the quotient of its automorphism group by the subgroup consisting of those elements whose support is bounded above. This extends the authors' earlier result establishing this for the rationals and reals. We deduce that any group is isomorphic to the outer automorphism group of some simple lattice-ordered group.

Starting from the definition of `amorphous set' in set theory without the axiom of choice, we propose a notion of rank (which will only make sense for, at most, the class of Dedekind finite sets), which is intended to be an analogue in this situation of Morley rank in model theory.

In this paper we describe the well-founded initial segment of the free Heyting algebra ������α on finitely many, α, generators. We give a complete classification of initial sublattices of ������₂ isomorphic to ������₁ (called 'low ladders'), and prove that for 2 < α < ω, the height of the well-founded initial segment of ������α.

We consider the relation between versions of Ramsey’s Theorem and König’s Infinity Lemma, in the absence of the axiom of choice.

Together, Models and Computability and its sister volume Sets and Proofs will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed and (...) interested nonspecialist. (shrink)

We consider the relation between versions of Ramsey’s Theorem and König’s Infinity Lemma, in the absence of the axiom of choice.

It is shown that the boolean prime ideal theorem BPIT: every boolean algebra has a prime ideal, does not follow from the order-extension principle OE: every partial ordering can be extended to a linear ordering. The proof uses a Fraenkel-Mostowski model, where the family of atoms is indexed by a countable universal-homogeneous boolean algebra whose boolean partial ordering has a `generic' extension to a linear ordering. To illustrate the technique for proving that the order-extension principle holds in the model we (...) also study Mostowski's ordered model, and give a direct verification of OE there. The key technical point needed to verify OE in each case is the existence of a support structure. (shrink)

The relationship between ideals I of Turing degrees and groups of I-recursive automorphisms of the ordering on rationals is studied. We discuss the differences between such groups and the group of all automorphisms, prove that the isomorphism type of such a group completely defines the ideal I, and outline a general correspondence between principal ideals of Turing degrees and the first-order properties of such groups.

Tarski [5] showed that for any set X, its set w(X) of well-orderable subsets has cardinality strictly greater than that of X, even in the absence of the axiom of choice. We construct a Fraenkel-Mostowski model in which there is an infinite strictly descending sequence under the relation |w (X)| = |Y|. This contrasts with the corresponding situation for power sets, where use of Hartogs' ℵ-function easily establishes that there can be no infinite descending sequence under the relation |P(X)| = (...) |Y|. (shrink)

0-categorical o-minimal structures were completely described by Pillay and Steinhorn 565–592), and are essentially built up from copies of the rationals as an ordered set by ‘cutting and copying’. Here we investigate the possible structures which an 0-categorical weakly o-minimal set may carry, and find that there are some rather more interesting examples. We show that even here the possibilities are limited. We subdivide our study into the following principal cases: the structure is 1-indiscernible, in which case all possibilities are (...) classified up to binary structure; the structure is 2-indiscernible, classified up to ternary structure; the structure is 3-indiscernible, in which case we show that it is k-indiscernible for every finite k. We also make some remarks about the possible structures of higher arities which an 0-categorical weakly o-minimal structure may carry. (shrink)

We show that the weak monadic second order theory of the structure is first order interpretable in its automorphism group.

We study the possible structures which can be carried by sets which have no countable subset, but which fail to be ‘surjectively Dedekind finite’, in two possible senses, that there is surjection to $\omega $, or alternatively, that there is a surjection to a proper superset.

We study rigidity properties of linearly ordered sets (chains) under automorphisms, embeddings, epimorphisms, and endomorphisms. We focus on two main cases: dense subchains of the real numbers, and uncountable dense chains of higher regular cardinalities. We also give a Fraenkel‐Mostowski model which illustrates the role of the axiom of choice in one of the key proofs.

Consequence is at the heart of logic, and an account of consequence offers a vital tool in the evaluation of arguments. This text presents what the authors term as 'logical pluralism' arguing that the notion of logical consequence doesn't pin down one deductive consequence relation; it allows for many of them.

We show how to reconstruct the topology on the monoid of endomorphisms of the rational numbers under the strict or reflexive order relation, and the polymorphism clone of the rational numbers under the reflexive relation. In addition we show how automatic homeomorphicity results can be lifted to polymorphism clones generated by monoids.

What happens when someone acts? A familiar answer goes like this. There is something that the agent wants, and there is an action that he believes conducive to its attainment. His desire for the end, and his belief in the action as a means, justify taking the action, and they jointly cause an intention to take it, which in turn causes the corresponding movements of the agent's body. I think that the standard story is flawed in several respects. The flaw (...) that will concern me in this paper is that the story fails to include an agent-or, more precisely, fails to cast the agent in his proper role. (shrink)

Providing an original and systematic treatment of foundational issues in philosophy of religion, J. L. Schellenberg's new book addresses the structure of..

Abstract I argue that meaning in life is importantly influenced by bioloical ties. More specifically, I maintain that knowing one's relatives and especially one's parents provides a kind of self-knowledge that is of irreplaceable value in the life-task of identity formation. These claims lead me to the conclusion that it is immoral to create children with the intention that they be alienated from their bioloical relatives?for example, by donor conception.

Retributive theories of punishment argue that punishing a criminal for a crime she committed is sufficient reason for a justified and morally permissible punishment. But what about when the state gets lucky in its decision to punish? I argue that retributive theories of punishment are subject to “Gettier” style cases from epistemology. Such cases demonstrate that the state needs more than to just get lucky, and as these retributive theories of punishment stand, there is no anti-luck condition. I’ll argue that (...) Gettier-style cases demonstrate an impermissible instance of punishment, even though they meet the conditions of retributive theories of punishment. Retributive theories are, therefore, too weak. The safety condition from epistemology provides the anti-luck condition needed for permissible punishment. I argue that two forms of retributivism, rights-forfeiture and what I call standard retributivism, are both subject to Gettier-style cases. Unlike the literature on standards of proof, this paper argues that safety is a condition on punishment itself, i.e., in all nearby possible worlds, the accuser must correctly accuse the convicted for the crime they actually committed. (shrink)

In this paper, we give a classification of ℵ0-categorical coloured linear orders, generalizing Rosenstein's characterization of ℵ0-categorical linear orderings. We show that they can all be built from coloured singletons by concatenation and ℚn-combinations . We give a method using coding trees to describe all structures in our list.

Two structures A and B are n-equivalent if Player II has a winning strategy in the n-move Ehrenfeucht-Fraïssé game on A and B. In earlier articles we studied n-equivalence classes of ordinals and coloured ordinals. In this article we similarly treat a class of scattered order-types, focussing on monomials and sums of monomials in ω and its reverse ω*.

J.L. Schellenberg offers a path to a new kind of religious outlook. Reflection on our early stage in the evolutionary process leads to skepticism about religion, but also offers a new answer to the problem of faith and reason, and the possibility of a new, evolutionary form of religion.

Supervaluationism is often described as the most popular semantic treatment of indeterminacy. There’s little consensus, however, about how to fill out the bare-bones idea to include a characterization of logical consequence. The paper explores one methodology for choosing between the logics: pick a logic thatnorms beliefas classical consequence is standardly thought to do. The main focus of the paper considers a variant of standard supervaluational, on which we can characterizedegrees of determinacy. It applies the methodology above to focus ondegree logic. (...) This is developed first in a basic, single-premise case; and then extended to the multipremise case, and to allowdegreesof consequence. The metatheoretic properties of degree logic are set out. On the positive side, the logic is supraclassical—all classical valid sequents are degree logic valid. Strikingly, metarules such as cut and conjunction introduction fail. (shrink)

v. 1. Nicomachean ethics. Politics. The Athenian Constitution. Rhetoric. On Poetics.--v. 2. Logic.--v. 3. Physics. Metaphysics. On the soul. Short physical treaties.--v. 4. On the heavens. On generation and corruption. Meteorology. Biological treatises.

Hailed by the Bulletin of the American Mathematical Society as "undoubtedly a major addition to the literature of mathematical logic," this volume examines the essential topics and theorems of mathematical reasoning. No background in logic is assumed, and the examples are chosen from a variety of mathematical fields. Starting with an introduction to symbolic logic, the first eight chapters develop logic through the restricted predicate calculus. Topics include the statement calculus, the use of names, an axiomatic treatment of the statement (...) calculus, descriptions, and equality. Succeeding chapters explore abstract set theory—with examinations of class membership as well as relations and functions—cardinal and ordinal arithmetic, and the axiom of choice. An invaluable reference book for all mathematicians, this text is suitable for advanced undergraduates and graduate students. Numerous exercises make it particularly appropriate for classroom use. (shrink)

Ultimism and the aims of human immaturity -- Faith without details, or how to practice skeptical religion -- Simple faith and the complexities of tradition -- The structure of faith justification -- How skeptical faith is true to reason -- Anselm's idea -- Leibniz's ambition -- Paley's wonder -- Pascal's wager -- Kant's postulate -- James's will -- Faith is positively justified : the many modes of religious vision.

It's an achievement of the last couple of decades that people who work in linguistic semantics and people who work in the philosophy of language have arrived at a friendly, de facto agreement as to their respective job descriptions. The terms of this agreement are that the semanticists do the work and the philosophers do the worrying. The semanticists try to construct actual theories of meaning (or truth theories, or model theories, or whatever) for one or another kind of expression (...) in one or another natural language; for example, they try to figure out how the temperature could be rising compatibly with the substitutivity of identicals. The philosophers, by contrast, keep an eye on the large, foundational issues, such as: what's the relation between sense and denotation; what's the relation between thought and language; whether translation is determinate; and whether life is like a fountain. Every now and then the philosophers and the semanticists are supposed to get together and compare notes on their respective progress. Or lack thereof. (shrink)