An $\omega$-categorical supersimple group is finite-by-abelian-by-finite, and has finite SU-rank. Every definable subgroup is commensurable with an acl-definable subgroup. Every finitely based regular type in a CM-trivial $\omega$-categorical simple theory is non-orthogonal to a type of SU-rank 1. In particular, a supersimple $\omega$-categorical CM-trivial theory has finite SU-rank.

In the present paper we shall prove that countable ω-categorical simple CM-trivial theories and countable ω-categorical simple theories with strong stable forking are low. In addition, we observe that simple theories of bounded finite weight are low.

The endomorphism monoid of a model-theoretic structure carries two interesting topologies: on the one hand, the topology of pointwise convergence induced externally by the action of the endomorphisms on the domain via evaluation; on the other hand, the Zariski topology induced within the monoid by (non-)solutions to equations. For all concrete endomorphism monoids of $\omega $ -categorical structures on which the Zariski topology has been analysed thus far, the two topologies were shown to coincide, in turn yielding that the (...) pointwise topology is the coarsest Hausdorff semigroup topology on those endomorphism monoids. We establish two systematic reasons for the two topologies to agree, formulated in terms of the model-complete core of the structure. Further, we give an example of an $\omega $ -categorical structure on whose endomorphism monoid the topology of pointwise convergence and the Zariski topology differ, answering a question of Elliott, Jonušas, Mitchell, Péresse, and Pinsker. (shrink)

An ω-categorical supersimple group is finite-by-abelian-by-finite, and has finite SU-rank. Every definable subgroup is commensurable with an acl( $\emptyset$ )-definable subgroup. Every finitely based regular type in a CM-trivial ω-categorical simple theory is non-orthogonal to a type of SU-rank 1. In particular, a supersimple ω-categorical CM-trivial theory has finite SU-rank.

The age of a structure M is the set of all isomorphism types of finite substructures of M. We study ages of generic expansions of ω-stable ω-categorical structures.

A first-order structure $\mathfrak {A}$ is called monadically stable iff every expansion of $\mathfrak {A}$ by unary predicates is stable. In this paper we give a classification of the class $\mathcal {M}$ of $\omega $ -categorical monadically stable structure in terms of their automorphism groups. We prove in turn that $\mathcal {M}$ is the smallest class of structures which contains the one-element pure set, is closed under isomorphisms, and is closed under taking finite disjoint unions, infinite copies, and finite (...) index first-order reducts. Using our classification we show that every structure in $\mathcal {M}$ is first-order interdefinable with a finitely bounded homogeneous structure. We also prove that every structure in $\mathcal {M}$ has finitely many reducts up to interdefinability, thereby confirming Thomas’ conjecture for the class $\mathcal {M}$. (shrink)

We investigate, in ZFC, the behavior of abstract elementary classes categorical in many successive small cardinals. We prove for example that a universal $\mathbb {L}_{\omega _1, \omega }$ sentence categorical on an end segment of cardinals below $\beth _\omega $ must be categorical also everywhere above $\beth _\omega $. This is done without any additional model-theoretic hypotheses and generalizes to the much broader framework of tame AECs with weak amalgamation and coherent sequences.

We investigate, in ZFC, the behavior of abstract elementary classes categorical in many successive small cardinals. We prove for example that a universal $\mathbb {L}_{\omega _1, \omega }$ sentence categorical on an end segment of cardinals below $\beth _\omega $ must be categorical also everywhere above $\beth _\omega $. This is done without any additional model-theoretic hypotheses and generalizes to the much broader framework of tame AECs with weak amalgamation and coherent sequences.

Computable structures of Scott rank ${\omega_1^{CK}}$ are an important boundary case for structural complexity. While every countable structure is determined, up to isomorphism, by a sentence of ${\mathcal{L}_{\omega_1 \omega}}$ , this sentence may not be computable. We give examples, in several familiar classes of structures, of computable structures with Scott rank ${\omega_1^{CK}}$ whose computable infinitary theories are each ${\aleph_0}$ -categorical. General conditions are given, covering many known methods for constructing computable structures with Scott rank ${\omega_1^{CK}}$ , which guarantee that (...) the resulting structure is a model of an ${\aleph_0}$ -categorical computable infinitary theory. (shrink)

It is shown that the first-order theory $\mathrm{Th}_R(A)$ of a countable module over an arbitrary countable ring $R$ is $\aleph_0$-categorical if and only if $A \cong \bigoplus_{t < n}A_i^{(\kappa_i)}, A_i$ finite, $n \in \omega, \kappa_i \leq \omega$. Furthermore, $\mathrm{Th}_R(A)$ is $\aleph_0$-categorical for all $R$-modules $A$ if and only if $R$ is finite and there exist only finitely many isomorphism classes of indecomposable $R$-modules.

At the extreme limit of suffering [ Leiden: pathos] nothing indeed remains but the conditions of time or space. At this moment, the man forgets himself because he is entirely within the moment; the God forgets himself because he is nothing but time; and both are unfaithful. Time because at such a moment it undergoes a categoric change and beginning and end simply no longer rhyme within it; man because, at this moment, he has to follow the categorical..

It is known that a countable $\omega $ -categorical structure interprets all finite structures primitively positively if and only if its polymorphism clone maps to the clone of projections on a two-element set via a continuous clone homomorphism. We investigate the relationship between the existence of a clone homomorphism to the projection clone, and the existence of such a homomorphism which is continuous and thus meets the above criterion.

Hrushovski constructed an -categorical stable pseudoplane which refuted Lachlan's conjecture. In this note, we show that an -categorical projective plane cannot be constructed by "the Hrushovski method.".

From classical, Fraïissé-homogeneous, ($\leq \omega$)-categorical theories over finite relational languages, we construct intuitionistic theories that are complete, prove negations of classical tautologies, and admit quantifier elimination. We also determine the intuitionistic universal fragments of these theories.

In recent work, the authors have established the group configuration theorem for simple theories, as well as some of its main applications from geometric stability theory, such as the binding group theorem, or in the $\omega$-categorical case, the characterization of the forking geometry of a finitely based non-trivial locally modular regular type as projective geometry over a finite field and the equivalence of pseudolinearity and local modularity. The proof necessitated an extension of the model-theoretic framework to include almost hyperimaginaries, (...) and the study of polygroups. (shrink)

We study the embedding property in the category of sorted profinite groups. We introduce a notion of the sorted embedding property (SEP), analogous to the embedding property for profinite groups. We show that any sorted profinite group has a universal SEP-cover. Our proof gives an alternative proof for the existence of a universal embedding cover of a profinite group. Also our proof works for any full subcategory of the sorted profinite groups, which is closed under taking finite quotients, fibre products, (...) and inverse limits. We also show that any sorted profinite group having SEP has a sorted complete system whose theory is $\omega $ -categorical and $\omega $ -stable under the assumption that the set of sorts is countable. (shrink)

We prove that if an $\omega $ -categorical structure has an $\omega $ -categorical homogeneous Ramsey expansion, then so does its model-complete core.

We consider the problem of finding and classifying representations in algebraic logic. This is approached by letting two players build a representation using a game. Homogeneous and universal representations are characterized according to the outcome of certain games. The Lyndon conditions defining representable relation algebras and a similar schema for cylindric algebras are derived. Finite relation algebras with homogeneous representations are characterized by first order formulas. Equivalence games are defined, and are used to establish whether an algebra is $\omega$-categorical. (...) We have a simple proof that the perfect extension of a representable relation algebra is completely representable. An important open problem from algebraic logic is addressed by devising another two-player game, and using it to derive equational axiomatisations for the classes of all representable relation algebras and representable cylindric algebras. Other instances of this approach are looked at, and include the step by step method. (shrink)

We compare two different notions of generic expansions of countable saturated structures. One kind of genericity is related to existential closure, and another is defined via topological properties and Baire category theory. The second type of genericity was first formulated by Truss for automorphisms. We work with a later generalization, due to Ivanov, to finite tuples of predicates and functions. Let $N$ be a countable saturated model of some complete theory $T$ , and let $(N,\sigma)$ denote an expansion of $N$ (...) to the signature $L_{0}$ which is a model of some universal theory $T_{0}$ . We prove that when all existentially closed models of $T_{0}$ have the same existential theory, $(N,\sigma)$ is Truss generic if and only if $(N,\sigma)$ is an e-atomic model. When $T$ is $\omega$ -categorical and $T_{0}$ has a model companion $T_{\mathrm {mc}}$ , the e-atomic models are simply the atomic models of $T_{\mathrm {mc}}$. (shrink)

Corcoran’s 27 entries in the 1999 second edition of Robert Audi’s Cambridge Dictionary of Philosophy [Cambridge: Cambridge UP]. -/- ancestral, axiomatic method, borderline case, categoricity, Church (Alonzo), conditional, convention T, converse (outer and inner), corresponding conditional, degenerate case, domain, De Morgan, ellipsis, laws of thought, limiting case, logical form, logical subject, material adequacy, mathematical analysis, omega, proof by recursion, recursive function theory, scheme, scope, Tarski (Alfred), tautology, universe of discourse. -/- The entire work is available online free at (...) more than one website. Paste the whole URL. http://archive.org/stream/RobertiAudi_The.Cambridge.Dictionary.of.Philosophy/Robert.Audi_The.Cambrid ge.Dictionary.of.Philosophy -/- The 2015 third edition will be available soon. Before you think of buying it read some reviews on Amazon and read reviews of its competition: For example, my review of the 2008 Oxford Companion to Philosophy, History and Philosophy of Logic,29:3,291-292. URL: http://dx.doi.org/10.1080/01445340701300429 -/- Some of the entries have already been found to be flawed. For example, Tarski’s expression ‘materially adequate’ was misinterpreted in at least one article and it was misused in another where ‘materially correct’ should have been used. The discussion provides an opportunity to bring more flaws to light. -/- Acknowledgements: Each of these entries was presented at meetings of The Buffalo Logic Dictionary Project sponsored by The Buffalo Logic Colloquium. The members of the colloquium read drafts before the meetings and were generous with corrections, objections, and suggestions. Usually one 90-minute meeting was devoted to one entry although in some cases, for example, “axiomatic method”, took more than one meeting. Moreover, about half of the entries are rewrites of similarly named entries in the 1995 first edition. Besides the help received from people in Buffalo, help from elsewhere was received by email. We gratefully acknowledge the following: José Miguel Sagüillo, John Zeis, Stewart Shapiro, Davis Plache, Joseph Ernst, Richard Hull, Concha Martinez, Laura Arcila, James Gasser, Barry Smith, Randall Dipert, Stanley Ziewacz, Gerald Rising, Leonard Jacuzzo, George Boger, William Demopolous, David Hitchcock, John Dawson, Daniel Halpern, William Lawvere, John Kearns, Ky Herreid, Nicolas Goodman, William Parry, Charles Lambros, Harvey Friedman, George Weaver, Hughes Leblanc, James Munz, Herbert Bohnert, Robert Tragesser, David Levin, Sriram Nambiar, and others. -/- . (shrink)

This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The categorical duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The hyperintensional profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal and hyperintensional profiles of $\Omega$-logical validity correspond to those of second-order logical consequence, $\ (...) class='Hi'>Omega$-logical validity is genuinely logical. Second, the foregoing provides a hyperintensional account of the interpretation of mathematical and metamathematical vocabulary. (shrink)

Let D be a strongly minimal set in the language L, and $D' \supset D$ an elementary extension with infinite dimension over D. Add to L a unary predicate symbol D and let T' be the theory of the structure (D', D), where D interprets the predicate D. It is known that T' is ω-stable. We prove Theorem A. If D is not locally modular, then T' has Morley rank ω. We say that a strongly minimal set D is pseudoprojective (...) if it is nontrivial and there is a $k < \omega$ such that, for all a, b ∈ D and closed $X \subset D, a \in \mathrm{cl}(Xb) \Rightarrow$ there is a $Y \subset X$ with a ∈ cl(Yb) and |Y| ≤ k. Using Theorem A, we prove Theorem B. If a strongly minimal set D is pseudoprojective, then D is locally projective. The following result of Hrushovski's (proved in $\S4$ ) plays a part in the proof of Theorem B. Theorem C. Suppose that D is strongly minimal, and there is some proper elementary extension D1 of D such that the theory of the pair (D1, D) is ω1-categorical. Then D is locally modular. (shrink)

A Dedekind Algebra is an ordered pair (B,h) where B is a non-empty set and h is an injective unary function on B. Each Dedekind algebra can be decomposed into a family of disjoint, countable subalgebras called configurations of the Dedekind algebra. There are N0 isomorphism types of configurations. Each Dedekind algebra is associated with a cardinal-valued function on omega called its configuration signature. The configuration signature of a Dedekind algebra counts the number of configurations in the decomposition of (...) the algebra in each isomorphism type.The configuration signature of a Dedekind algebra encodes the structure of that algebra in the sense that two Dedekind algebras are isomorphic iff their configuration signatures are identical. Configuration signatures are used to establish various results in the first-order model theory of Dedekind algebras. These include categoricity results for the first-order theories of Dedekind algebras and existence and uniqueness results for homogeneous, universal and saturated Dedekind algebras. Fundamental to these results is a condition on configuration signatures that is necessary and sufficient for elementary equivalence. (shrink)

Within the context of an involutive monoidal category the notion of a comparison relation ${\mathsf{cp} : \overline{X} \otimes X \rightarrow \Omega}$ is identified. Instances are equality = on sets, inequality ${\leq}$ on posets, orthogonality ${\perp}$ on orthomodular lattices, non-empty intersection on powersets, and inner product ${\langle {-}|{-} \rangle}$ on vector or Hilbert spaces. Associated with a collection of such (symmetric) comparison relations a dagger category is defined with “tame” relations as morphisms. Examples include familiar categories in the foundations of (...) quantum mechanics, such as sets with partial injections, or with locally bifinite relations, or with formal distributions between them, or Hilbert spaces with bounded (continuous) linear maps. Of one particular example of such a dagger category of tame relations, involving sets and bifinite multirelations between them, the categorical structure is investigated in some detail. It turns out to involve symmetric monoidal dagger structure, with biproducts, and dagger kernels. This category may form an appropriate universe for discrete quantum computations, just like Hilbert spaces form a universe for continuous computation. (shrink)

In this note, the problem of tracking random references and rejecting random perturbations in a quadrotor, both generated by an auxiliary system named exosystem, is solved by extending the deterministic tracking problem to the area of stochastic processes. Besides, it is considered that only a part of the state vector of the quadrotor is available through measurements. As a consequence, the state vector of the plant must be estimated in order to close the control loop. On this basis, a controller (...) to track random references and to reject random perturbations is developed by combining a Kalman filter to estimate the references and perturbations of an exosystem and an observer to estimate the states of a quadrotor. Besides, to obtain a more practical controller, the analysis is carried out in discrete time. Numerical simulations are used in a quadrotor to confirm the validity and effectiveness of the proposed control. (shrink)

This paper provides a historically sensitive discussion of Carnaps theory will be assessed with respect to two interpretive issues. The first concerns his mathematical sources, that is, the mathematical axioms on which his extremal axioms were based. The second concerns Carnapcompleteness of the modelss different attempts to explicate the extremal properties of a theory and puts his results in context with related metamathematical research at the time.

You omega know something when you know it, and know that you know it, and know that you know that you know it, and so on. This paper first argues that omega knowledge matters, in the sense that it is required for rational assertion, action, inquiry, and belief. The paper argues that existing accounts of omega knowledge face major challenges. One account is skeptical, claiming that we have no omega knowledge of any ordinary claims about the (...) world. Another account embraces the KK thesis, and identifies knowledge with omega knowledge. This position faces counterexamples, and struggles to make sense of inexact knowledge. The paper then develops a new account of knowledge, by proposing the principle of Reflective Luminosity: if you know that you know something, then you omega know it. I argue that Reflective Luminosity allows for omega knowledge while avoiding the problems for KK. (shrink)

A system of logic usually comprises a language for which a model-theory and a proof-theory are defined. The model-theory defines the semantic notion of model-theoretic logical consequence (⊨), while the proof-theory defines the proof- theoretic notion of logical consequence (or logical derivability, ⊢). If the system in question is sound and complete, then the two notions of logical consequence are extensionally equivalent. The concept of full formalization is a more restrictive one and requires in addition the preservation of the standard (...) meanings of the logical terms in all the admissible interpretations of the logical calculus, as it is proof-theoretically defined. Although classical first-order logic is sound and complete, its standard formalizations fall short to be full formalizations since they allow non-intended interpretations. This fact poses a challenge for the logical inferentialism program, whose main tenet is that the meanings of the logical terms are uniquely determined by the formal axioms or rules of inference that govern their use in a logical calculus, i.e., logical inferentialism requires a categorical calculus. This paper is the first part of a more elaborated study which will analyze the categoricity problem from its beginning until the most recent approaches. I will first start by describing the problem of a full formalization in the general framework in which Carnap (1934/1937, 1943) formulated it for classical logic. Then, in sections IV and V, I shall discuss the way in which the mathematicians B.A. Bernstein (1932) and E.V. Huntington (1933) have previously formulated and analyzed it in algebraic terms for propositional logic and, finally, I shall discuss some critical reactions Nagel (1943), Hempel (1943), Fitch (1944), and Church (1944) formulated to these approaches. (shrink)

Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules (...) for the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

Can we ever be fully practically justified in acting contrary to moral demands? My contention is that the answer is 'no'. I argue that by adopting a 'buck-passing' account of wrongness we can provide a philosophically satisfying answer to the familiar 'why should I be moral?'. In working my way toward the buck-passing account of wrongness, I outline the metaethical and 'metanormative' assumptions on which my theory stands. I also consider and reject the 'internalist' answer to 'why should I be (...) moral?'. The account I end up with is decidedly non-consequentialist and it is consistent with common-sense morality. It also provides a way of showing why moral considerations are overridingly normative in a way that is consistent with our best current understanding of what practical reason requires of us. (shrink)

The interplay between ultrafilters and unbounded subsets of \ with the order \ of strict eventual domination is studied. Among the tools are special kinds of non-principal ultrafilters on \. These include simple P-points; that is, ultrafilters with a base that is well-ordered with respect to the reverse of the order \ of almost inclusion. It is shown that the cofinality of such a base must be either \, the least cardinality of \-unbounded set, or \, the least cardinality of (...) a \-cofinal set. The small uncountable cardinal \ is introduced. Consequences of \ and of \ are explored; in particular, both imply \. Here \ is the reaping number, and is also the least cardinality of a \-base for a free ultrafilter. Both of these inequalities are shown to occur if there exist simple P-points of different cofinalities and there exist simple \-points and \-points), but this is a long-standing open problem. Six axioms on nonprincipal ultrafilters on \ and the relationships between them are discussed along with various models of set theory in which one or more are known to hold. The strongest of these, Axiom 1, is that for every free ultrafilter \ and for every \-unbounded \-chain C of increasing functions in \, C is also unbounded in the ultraproduct \. The other axioms replace one or both quantifiers with “there exists.” The negation of Axiom 3 in a model provides a family of normal sequentially compact spaces whose product is not countably compact. The question of whether such a family exists in ZFC, even with “normal” weakened to “regular”, is a famous unsolved problem of set-theoretic topology, known as the Scarborough–Stone problem. (shrink)

We investigate maximal free sequences in the Boolean algebra \ {/}\text {fin}\), as defined by Monk :593–610, 2011). We provide some information on the general structure of these objects and we are particularly interested in the minimal cardinality of a free sequence, a cardinal characteristic of the continuum denoted \. Answering a question of Monk, we demonstrate the consistency of \. In fact, this consistency is demonstrated in the model of Shelah for \ :433–443, 1992). Our paper provides a streamlined (...) and mostly self contained presentation of this construction. (shrink)

We present two applications of forcing with finite sequences of models as side conditions, adding objects of size \. The first involves adding a \ sequence and variants of such sequences. The second involves adding partial weak specializing functions for trees of height \.