Results 1  10
of
530,724
Finiteness Theorems For Submersions And Souls
, 2001
"... The first section of this paper provides an improvement upon known niteness theorems for Riemannian submersions; that is, theorems which conclude that there are only finitely many isomorphism types of ber bundles among Riemannian submersions whose total spaces and base spaces both satisfy certain ge ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
The first section of this paper provides an improvement upon known niteness theorems for Riemannian submersions; that is, theorems which conclude that there are only finitely many isomorphism types of ber bundles among Riemannian submersions whose total spaces and base spaces both satisfy certain
Finiteness theorems for quadratic forms
"... The classical “Four Squares Theorem” of Lagrange (1770) asserts that any positive integer can be expressed as the sum of four squares—that is, the quadratic form x2 + y2 + z2 + t2 represents all (positive) integers. When does a general (positive definite) quadratic form represent all (positive) int ..."
Abstract
 Add to MetaCart
The classical “Four Squares Theorem” of Lagrange (1770) asserts that any positive integer can be expressed as the sum of four squares—that is, the quadratic form x2 + y2 + z2 + t2 represents all (positive) integers. When does a general (positive definite) quadratic form represent all (positive
OBSTRUCTIONS AND FINITENESS THEOREMS FOR DEFORMATIONS OF COMPLEXES
, 901
"... Abstract. We develop an obstruction theory due to Gabber concerning deformations of bounded complexes V • of modules for a profinite group G over a field k of positive characteristic p. We also prove a finiteness theorem which provides some sufficient conditions for the versal deformation of V • to ..."
Abstract
 Add to MetaCart
Abstract. We develop an obstruction theory due to Gabber concerning deformations of bounded complexes V • of modules for a profinite group G over a field k of positive characteristic p. We also prove a finiteness theorem which provides some sufficient conditions for the versal deformation of V
The complexity of theoremproving procedures
 IN STOC
, 1971
"... It is shown that any recognition problem solved by a polynomial timebounded nondeterministic Turing machine can be “reduced” to the problem of determining whether a given propositional formula is a tautology. Here “reduced ” means, roughly speaking, that the first problem can be solved deterministi ..."
Abstract

Cited by 1048 (5 self)
 Add to MetaCart
of two given graphs is isomorphic to a subgraph of the second. Other examples are discussed. A method of measuring the complexity of proof procedures for the predicate calculus is introduced and discussed. Throughout this paper, a set of strings 1 means a set of strings on some fixed, large, finite
FINITENESS THEOREMS FOR ALGEBRAIC CYCLES ON QUADRIC FIBRATIONS
, 809
"... Abstract. We obtain finiteness theorems for algebraic cycles of codimensions 3 and 4 on quadric fibrations over curves over perfect fields. 1. ..."
Abstract
 Add to MetaCart
Abstract. We obtain finiteness theorems for algebraic cycles of codimensions 3 and 4 on quadric fibrations over curves over perfect fields. 1.
Results 1  10
of
530,724