A set x is Dedekind infinite if there is an injection from ω into x; otherwise x is Dedekind finite. A set x is power Dedekind infinite if math formula, the power set of x, is Dedekind infinite; otherwise x is power Dedekind finite. For a set x, let pdfin be the set of all power Dedekind finite subsets of x. In this paper, we prove in math formula two generalizations of Cantor's theorem : The first one is that for (...) all power Dedekind infinite sets x, there are no Dedekind finite to one maps from math formula into pdfin. The second one is that for all sets math formula, if x is infinite and there is a power Dedekind finite to one map from y into x, then there are no surjections from y onto math formula. We also obtain some related results. (shrink)

We prove that there are 2 χ 0 pairwise non elementarily equivalent existentially closed ordered groups, which solve the main open problem in this area (cf. [3, 10]). A simple direct proof is given of the weaker fact that the theory of ordered groups has no model companion; the case of the ordered division rings over a field k is also investigated. Our main result uses constructible sets and can be put in an abstract general framework. Comparison with the standard (...) methods which use forcing (cf. [4]) is sketched. (shrink)

Tarski characterized logical notions as invariant under permutations of the domain. The outcome, according to Tarski, is that our logic, which is commonly said to be a logic of extension rather than intension, is not even a logic of extension—it is a logic of cardinality. In this paper, I make this idea precise. We look at a scale inspired by Ruth Barcan Marcus of various levels of meaning: extensions, intensions and hyperintensions. On this scale, the lower the level of meaning, (...) the more coarse-grained and less “intensional” it is. I propose to extend this scale to accommodate a level of meaning appropriate for logic. Thus, below the level of extension, we will have a more coarse-grained level of form. I employ a semantic conception of form, adopted from Sher, where forms are features of things “in the world”. Each expression in the language embodies a form, and by the definition we give, forms will be invariant under permutations and thus Tarskian logical notions. I then define the logical terms of a language as those terms whose extension can be determined by their form. Logicality will be shown to be a lower level analogue of rigidity. Using Barcan Marcus’s principles of explicit and implicit extensionality, we are able to characterize purely logical languages as “sub-extensional”, namely, as concerned only with form, and we thus obtain a wider perspective on both logicality and extensionality. (shrink)

The notions of finite and infinite second-order characterizability of cardinal and ordinal numbers are developed. Several known results for the case of finite characterizability are extended to infinite characterizability, and investigations of the second-order theory of ordinals lead to some observations about the Fraenkel-Carnap question for well-orders and about the relationship between ordinal characterizability and ordinal arithmetic. The broader significance of cardinal characterizability and the relationships between different notions of characterizability are also discussed.

LetG be a group. CallG akC-group if every element ofG has less thank conjugates. Denote byP(G) the least cardinalk such that any subset ofG of sizek contains two elements which commute.It is shown that the existence of groupsG such thatP(G) is a singular cardinal is consistent withZFC. So is the existence of groupsG which are notkC but haveP(G) (...) questions, and improves results, of Faber, Laver and McKenzie. (shrink)

Scientific knowledge develops in an increasingly fragmentary way.A multitude of scientific disciplines branch out. Curiosity for thisdevelopment leads into quests for a unifying understanding. To a certain extent, foundational studies provide such unification. There is a tendency, however, also of a fragmentary growth of foundational studies, like in a multitude of disciplinaryfoundations. We suggest to look at the foundational problem, not primarily as a search for foundations for one discipline in another, as in some reductionist approach, but as a steady (...) revelation ofpresuppositions for individual scientific theories – which are boundto meet, sooner or later, in a common language. A decisive point hereis our holistic conception of language, as a whole of description-interpretation processes which are entangled(complementary) in the language itself. For every language there is alinguistic complementarity. We suggest this unique form ofentanglement as a unifying presupposition, ultimately foundational forall communicable knowledge. Involved is a linguistic realism, in terms ofwhich we critically examine ``language-world'' problems, as exposed byWittgenstein, and Russell, about a foundational interdependence of language andreality (world). Throughout, we attach to the developmentof foundational studies of mathematics, logics, and the naturalsciences. In particular, we study the interpretation problem foraxioms of infinity in some detail. We emphasize that the holistic concept of language contradicts Carnap's semiotic fragmentation thesis (thus, no clean cutbetween syntax, semantics, pragmatics). (shrink)

A system of finite mathematics is proposed that has all of the power of classical mathematics. I believe that finite mathematics is not committed to any form of infinity, actual or potential, either within its theories or in the metalanguage employed to specify them. I show in detail that its commitments to the infinite are no stronger than those of primitive recursive arithmetic. The finite mathematics of sets is comprehensible and usable on its own terms, without appeal to any form (...) of the infinite. That makes it possible to, without circularity, obtain the axioms of full Zermelo-Fraenkel Set Theory with the Axiom of Choice (ZFC) by extrapolating (in a precisely defined technical sense) from natural principles concerning finite sets, including indefinitely large ones. The existence of such a method of extrapolation makes it possible to give a comparatively direct account of how we obtain knowledge of the mathematical infinite. The starting point for finite mathematics is Mycielski's work on locally finite theories. (shrink)

We prove an Omitting Types Theorem for certain algebraizable extensions of first order logic without equality studied in [SAI 00] and [SAY 04]. This is done by proving a representation theorem preserving given countable sets of infinite meets for certain reducts of ?- dimensional polyadic algebras, the so-called G polyadic algebras (Theorem 5). Here G is a special subsemigroup of (?, ? o) that specifies the signature of the algebras in question. We state and prove an independence result connecting our (...) representation theorem to Martin's axiom (Theorem 6). Also we show that the countable atomic G polyadic algebras are completely representable (Corollary 16) contrasting results on cylindric algebras. Several related results are surveyed. (shrink)

It is easy to prove in ZF− that a relation R satisfies the maximal condition if and only if its transitive hull R* does; equivalently: R is well-founded if and only if R* is. We will show in the following that, if the maximal condition is replaced by the chain condition, as is often the case in Algebra, the resulting statement is not provable in ZF− anymore . More precisely, we will prove that this statement is equivalent in ZF− to (...) the countable axiom of choice ACω. Moreover, applying this result we will prove that the axiom of dependent choices, restricted to partial orders as used in Algebra, already implies the general form for arbitrary relations as formulated first by Teichmüller and, independently, some time later by Bernays and Tarski. (shrink)

Much of the inspiration for structuralist approaches to mathematics can be found in the late nineteenth- and early twentieth-century program of characterizing various mathematical systems upto isomorphism. From the perspective of this program, differences between isomorphic systems are irrelevant. It is argued that a different view of the import of the differences between isomorphic systems can be obtained from the perspective of contemporary discussions of representation theorems and that from this perspective both the identification of isomorphic systems and the reduction (...) to abstract structures or patterns should be resisted. (shrink)

For an infinite cardinal K a stronger version of K-distributivity for Boolean algebras, called k-partition completeness, is defined and investigated . It is shown that every k-partition complete Boolean algebra is K-weakly representable, and for strongly inaccessible K these concepts coincide. For regular K ≥ u, it is proved that an atomless K-partition complete Boolean algebra is an updirected union of basic K-tree algebras. Using K-partition completeness, the concept of γ-almost compactness is introduced for γ ≥ K. For strongly inaccessible (...) K we show that K is K-almost compact iff K is weakly compact, and if K is 2K-almost compact, then K is measurable. Further K is strongly compact iff it is γ-almost compact for all γ ≥ K. (shrink)

We show the existence of a high r. e. degree bounding only joins of minimal pairs and of a high2 nonbounding r. e. degree. MSC: 03D25.

We will prove in Zermelo-Fraenkel set theory without axiom of choice that the transitive hull R* of a relation R is not much “bigger” than R itself. As a measure for the size of a relation we introduce the notion of κ+-narrowness using surjective Hartogs numbers rather than the usul injective Hartogs values. The main theorem of this paper states that the transitive hull of a κ+-narrow relation is κ+-narrow. As an immediate corollary we obtain that, for every infinite cardinal (...) κ, the class HCκ of all κ-hereditary sets is a set with von Neumann rank ϱ(HCκ) ≤ κ+. Moreover, ϱ(HCκ) = κ+ if and only if κ is singular, otherwise ϱ(HCκ) = κ. The statements of the corollary are well known in the presence of the axiom of choice (AC). To prove them without AC - as carried through here - is, however, much harder. A special case of the corollary (κ = ω1, i.e., the class HCω1 of all hereditarily countable sets) has been treated independently by T. JECH. (shrink)

Under a proper translation, the languages of propositional (and quantified relevant logic) with an absurdity constant are characterized as the fragments of first order logic preserved under (world-object) relevant directed bisimulations. Furthermore, the properties of pointed models axiomatizable by sets of propositional relevant formulas have a purely algebraic characterization. Finally, a form of the interpolation property holds for the relevant fragment of first order logic.