Elementary first-order theories of trees allowing at most, exactly , and any finite number of immediate descendants are introduced and proved mutually interpretable among themselves and with Robinson arithmetic, Adjunctive Set Theory with Extensionality and other well-known weak theories of numbers, sets, and strings.
]]>Reasoning with quantifier expressions in natural language combines logical and arithmetical features, transcending strict divides between qualitative and quantitative. Our topic is this cooperation of styles as it occurs in common linguistic usage and its extension into the broader practice of natural language plus ‘grassroots mathematics’.
We begin with a brief review of , first-order logic with counting operators and cardinality comparisons. This system is known to be of very high complexity, and drowns out finer aspects of the combination of logic and counting. We therefore move to a small fragment that can represent numerical syllogisms and basic reasoning about comparative size: monadic first-order logic with counting, . We provide normal forms that allow for axiomatization, determine which arithmetical notions can be defined on finite and on infinite models, and conversely, we discuss which logical notions can be defined out of purely arithmetical ones, and what sort of (non-)classical logics can be induced.
Next, we investigate a series of strengthenings of , again using normal form methods. The monadic second-order version is close, in a precise sense, to additive Presburger Arithmetic, while versions with the natural device of tuple counting take us to Diophantine equations, making the logic undecidable. We also define a system that combines basic modal logic over binary accessibility relations with counting, needed to formulate ubiquitous reasoning patterns such as the Pigeonhole Principle. We prove decidability of , and provide a new kind of bisimulation matching the expressive power of the language.
As a complement to the fragment approach pursued here, we also discuss two other ways of lowering the complexity of by changing the semantics of counting in natural ways. A first approach replaces cardinalities by abstract but well-motivated values of ‘mass’ or other mereological aggregating notions. A second approach keeps the cardinalities but generalizes the meaning of counting to work in models that allow dependencies between variables.
Finally, we return to our starting point in natural language, confronting the architecture of our formal systems with linguistic quantifier vocabulary and syntax, as well as with natural reasoning modules such as the monotonicity calculus. In addition to these encounters with formal semantics, we discuss the role of counting in semantic evaluation procedures for quantifier expressions and determine, for instance, which binary quantifiers are computable by finite ‘semantic automata’. We conclude with some general thoughts on yet further entanglements of logic and counting in formal systems, on rethinking the qualitative/quantitative divide, and on connecting our analysis to empirical findings in cognitive science.
]]>We investigate a variety of cut and choose games, their relationship with (generic) large cardinals, and show that they can be used to characterize a number of properties of ideals and of partial orders: certain notions of distributivity, strategic closure, and precipitousness.
]]>For any subset , consider the set of subfields which contain a co-infinite subset that is universally definable in L such that . Placing a natural topology on the set of subfields of , we show that if Z is not thin in , then is meager in . Here, thin and meager both mean “small”, in terms of arithmetic geometry and topology, respectively. For example, this implies that only a meager set of fields L have the property that the ring of algebraic integers is universally definable in L. The main tools are Hilbert’s Irreducibility Theorem and a new normal form theorem for existential definitions. The normal form theorem, which may be of independent interest, says roughly that every -definable subset of an algebraic extension of is a finite union of single points and projections of hypersurfaces defined by absolutely irreducible polynomials.
]]>There is a balance between the amount of (weak) indestructibility one can have and the amount of strong cardinals. It’s consistent relative to large cardinals to have lots of strong cardinals and all of their degrees of strength are weakly indestructible. But this necessitates the destructibility of the partially strong cardinals. Guaranteeing the indestructibility of the partially strong cardinals is shown to be harder. In particular, this work establishes an equiconsistency between:
1. a proper class of cardinals that are strong reflecting strongs; and
2. weak indestructibility for (κ+2)-strength for all cardinals κ in the presence of a proper class of strong cardinals.
3. weak indestructibility for all degrees of strength for a proper class of strong cardinals.
One direction of the equiconsistency of (1) and (2) is proven using forcing and the other using core model techniques from inner model theory. Additionally, connections between weak indestructibility and the reflection properties associated with Woodin cardinals are discussed, and similar results are derived for supercompacts and supercompacts reflecting supercompacts.
Abstract prepared by James Holland.
E-mail: jch258@scarletmail.rutgers.edu
]]>Computability theoretic aspects of Polish metric spaces are studied by adapting notions and methods of computable structure theory. In this dissertation, we mainly investigate index sets and classification problems for computably presentable Polish metric spaces. We find the complexity of a number of index sets, isomorphism problems, and embedding problems for computably presentable metric spaces. We also provide several computable structure theory results related to some classical Polish metric spaces such as the Urysohn space , the Cantor space , the Baire space , and spaces of continuous functions.
Abstract prepared by Teerawat Thewmorakot.
E-mail: teerawat.thew@hotmail.com
]]>We study ordered groups in the context of both algebra and computability. Ordered groups are groups that admit a linear order that is compatible with the group operation. We explore some properties of ordered groups and discuss some related topics. We prove results about the semidirect product in relation to orderability and computability. In particular, we give a criteria for when a semidirect product of orderable groups is orderable and for when a semidirect product is computably categorical. We also give an example of a semidirect product that has the halting set coded into its multiplication structure but it is possible to construct a computable presentation of this semidirect product.
We examine a family of orderable groups that admit exactly countably many orders and show that their space of orders has arbitrary finite Cantor–Bendixson rank. Furthermore, this family of groups is also shown to be computably categorical, which in particular will allow us to conclude that any computable presentation of the groups does not admit any noncomputable orders. Lastly, we construct an example of an orderable computable group with no computable Archimedean orders but at least one computable non-Archimedean order.
Abstract prepared by Waseet Kazmi.
E-mail: waseet.kazmi@uconn.edu
]]>The Lovász local lemma (LLL) is a technique from combinatorics for proving existential results. There are many different versions of the LLL. One of them, the lefthanded local lemma, is particularly well suited for applications to two player games. There are also constructive and computable versions of the LLL. The chief object of this thesis is to prove an effective version of the lefthanded local lemma and to apply it to effectivise constructions of non-repetitive sequences.
The second goal of this thesis is to categorize some classes of cohesive powers. We completely describe both the isomorphism types of cohesive powers of equivalence structures and injection structures, as well as clarify the relationship between these cohesive powers and their original structures. We also describe the finite condensation of cohesive powers of computable copies of the integers as a linear order by cohesive sets whose complement are computably enumerable.
Finally, we investigate the possibility of decomposing problems in the Weihrauch degrees into a product of first order part and second order part. We give a preliminary result in this direction.
Abstract prepared by Daniel Mourad.
E-mail: daniel.mourad@uconn.edu
]]>