A general construction of internal sheaves in algebraic set theory 

Awodey, Steve; Gambino, Nicola; Lumsdaine, P. L.; Warren, M. A. (2007-11)

We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the construction of internal sheaves in Topos Theory. Our approach is general in that we consider sheaves as determined by Lawvere-Tierney ...

Adaptive behaviour in a predator-prey model leads to multiple equilibrium states 

Parra, C.E.; Saorín, M. (2015-01-01)

There is evidence that multiple stable equilibrium states are possible in real-life ecological systems. In order to verify a hypothesis that such a multitude of equilibrium states can be caused by adapting of animal behaviour ...

Amalgamation, absoluteness, and categoricity 

Baldwin, John T. (2010-07)

"Vegeu el resum a l'inici del document del fitxer adjunt."

Consistency and optimality 

Chen, Yijia; Flum, Jörg; Müller, Moritz (2011)

Assume that the problem Qo is not solvable in polynomial time. For theories T containing a sufficiently rich part of true arithmetic we characterize T U {ConT} as the minimal extension of T proving for some algorithm that ...

Euler characteristics of categories and homotopy colimits 

Fiore, Thomas M.; Lück, Wolfgang; Sauer, Roman (2010-07)

"Vegeu el resum a l'inici del document del fitxer adjunt."

Foundational implications of the inner model hypothesis 

Arrigoni, Tatiana; Friedman, Sy D. (2010-12)

Generalized descriptive set theory and classification theory 

Friedman, Sy D.; Hyttinen, Tapani; Kulikov, Vadim (2010-12)

Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper we study the generalization where countable is replaced by uncountable. We explore properties ...

Hard instances of algorithms and proof systems 

Chen, Yijia; Flum, Jörg; Müller, Moritz (2011)

"Vegeu el resum a l'inici del document del fitxer adjunt."

Isomorphism relations on computable structures 

Fokina, Ekaterina, B.; Friedman, Sy D.; Harizanov, Valentina; Knight, Julia F.; McCoy, Charles; Montalbán, Antonio (2011)

"Vegeu el resum a l'inici del document del fitxer adjunt"

Mean-payoff games and propositional proofs 

Atserias, Albert; Maneva, Elitza (2010-06)

"Vegeu el resum a l'inici del document del fitxer adjunt."

Monads in double categories 

Fiore, Thomas M.; Gambino, Nicola; Kock, Joachim (2010-06)

We extend the basic concepts of Street's formal theory of monads from the setting of 2-categories to that of double categories. In particular, we introduce the double category Mnd(C) of monads in a double category C and ...

On absoluteness of categoricity in abstract elementary classes 

Friedman, Sy D.; Koerwien, Martin (2011)

"Vegeu el resum a l'inici del document del fitxer adjunt"

On Borel equivalence relations in generalized Baire space 

Friedman, Sy D.; Hyttinen, Tapani (2011)

"Vegeu el resum a l'inici del document del fitxer adjunt."

On p-optimal proof systems and logics for PTIME 

Chen, Yijia; Flum, Jörg (2010-12)

"Vegeu el resum a l'inici del document del fitxer adjunt"

On slicewise monotone parameterized problems and optimal proof systems for TAUT 

Chen, Yijia; Flum, Jörg (2010-12)

"Vegeu el resum a l'inici del document del fitxer adjunt"

On the number of higher order Delaunay triangulations 

Mitsche, Dieter; Saumell, Maria; Silveira, Rodrigo I. (2010-03)

"Vegeu el resum a l'inici del document del fitxer adjunt."

Partially definable forcing and bounded arithmetic 

Atserias, Albert; Müller, Moritz (2011)

Potential isomorphism of elementary substructures of a strictly stable homogeneous model 

Friedman, Sy D.; Hyttinen, Tapani; Walczak-Typke, Agatha C. (2011)

"Vegeu el resum a l'inici del document del fitxer adjunt."

Sharpened lower bounds for cut elimination 

Buss, Samuel R. (2010-12)

We present sharpened lower bounds on the size of cut free proofs for first-order logic. Prior lower bounds for eliminating cuts from a proof established superexponential lower bounds as a stack of exponentials, with the ...

Strong isomorphism reductions in complexity theory 

Buss, Samuel R.; Chen, Yijia; Flum, Jörg; Friedman, Sy D.; Müller, Moritz (2011)

We give the first systematic study of strong isomorphism reductions, a notion of reduction more appropriate than polynomial time reduction when, for example, comparing the computational complexity of the isomorphim problem ...