Abstract. We extend Morley's Theorem to show that if a theory is -pcategorical for some uncountable cardinal , it is uncountably categorical. We then discuss -p-categoriticy a...
We show that Graph Isomorphism is in the complexity class SPP, and hence it is in ⊕P (in fact, it is in ModkP for each k ≥ 2). We derive this result as a corollary of a more g...
Abstract. We extend Shelah’s first many model result to show that an unstable theory has 2κ many non-permutation group isomorphic models of size κ, where κ is an uncountable ...
Given an integer n 2, and a non-negative integer k, consider all affine hyperplanes in Rn of the form xi = xj +r for i, j [n] and a non-negative integer r k. Let n,k be the pos...
A graph is self-complementary if it is isomorphic to its complement. In this paper we prove that every forest of order 4p and size less than 3p is a subgraph of a self-complementa...