Search Results - "Fejer, Peter"

Decidability of the two-quantifier theory of the recursively enumerable weak truth-table degrees and other distributive upper semi-lattices by Ambos-Spies, Klaus, Fejer, Peter A., Lempp, Steffen, Lerman, Manuel

“…We give a decision procedure for the ∀∃-theory of the weak truth-table (wtt) degrees of the recursively enumerable sets. The key to this decision procedure is…”
Get full text

Degree theoretical splitting properties of recursively enumerable sets by Ambos-Spies, Klaus, Fejer, Peter A.

“…A recursively enumerable splitting of an r.e. set A is a pair of r.e. sets B and C such that A = B ∪ C and B ∩ C = ⊘. Since for such a splitting deg A = deg B…”
Get full text

Enumerations of the Kolmogorov function by Beigel, Richard, Buhrman, Harry, Fejer, Peter, Fortnow, Lance, Grabowski, Piotr, Longpré, Luc, Muchnik, Andrej, Stephan, Frank, Torenvliet, Leen

“…A recursive enumerator for a function h is an algorithm f which enumerates for an input x finitely many elements including h(x), f is a k(n)-enumerator if for…”
Get full text

Embeddings of N5 and the contiguous degrees by Ambos-Spies, Klaus, Fejer, Peter A.

Get full text

Embeddings of [formula omitted] and the contiguous degrees by Ambos-Spies, Klaus, Fejer, Peter A.

“…Downey and Lempp (J. Symbolic Logic 62 (1997) 1215–1240) have shown that the contiguous computably enumerable (c.e.) degrees, i.e. the c.e. Turing degrees…”
Get full text

Lattice representations for computability theory by Fejer, Peter A.

“…Lattice representations are an important tool for computability theorists when they embed nondistributive lattices into degree-theoretic structures. In this…”
Get full text

Every incomplete computably enumerable truth-table degree is branching by Fejer, Peter A., Shore, Richard A.

Get full text

Branching Degrees above low Degrees by Fejer, Peter A.

“…In this paper, we investigate the location of the branching degrees within the recursively enumerable (r.e) degrees. We show that there is a branching degree…”
Get full text

THE STRUCTURE OF SOME DEFINABLE SUB CLASSES OF THE RECURSIVELY ENUMERABLE by FEJER, PETER ANDREW

Get full text

Degree theoretical splitting properties of recursively enumerable sets by Ambos-Spies, Klaus, Fejer, Peter A.

“…A recursively enumerable splitting of an r.e. set A is a pair of r.e. sets B and C such that A = B ∪ C and B ∩ C = ⊘. Since for such a splitting deg A = deg B…”
Get full text

Terratech ERASMUS+ project tackling the objectives of the Farm to Fork Strategy by Pereira, Ruth, Katranas, George, Oliveira, Sofia, Carvalho, Susana, Kosmanis, Theodoros, Féjer, Péter, Cachada, Anabela, Nogueira, Verónica, Fernandes, Tânia, Riel, Andreas, Gatti, Matteo, Suciu, Nicoleta Alina, Pereira, Albert Bel, Jason, Edmunds, Haberl, Christiane, Akbar, Ali, Kalaitzidis, Chariton, Volant, Stephane, Fonseca, Bruno, Schoinoplokakis, Dimitrios

“…Abstract The success of the Farm to Fork strategy, aimed at the transition to the sustainability of European agriculture, will depend on the technological…”
Get full text

Terratech ERASMUS+ project tackling the objectives of the Farm to Fork Strategy by Pereira, Ruth, Katranas, George, Oliveira, Sofia, Carvalho, Susana, Kosmanis, Theodoros, Féjer, Péter, Cachada, Anabela, Nogueira, Verónica, Fernandes, Tânia, Riel, Andreas, Gatti, Matteo, Suciu, Nicoleta Alina, Bel Pereira, Albert, Jason, Edmunds, Haberl, Christiane, Akbar, Ali, Kalaitzidis, Chariton, Volant, Stephane, Fonseca, Bruno, Schoinoplokakis, Dimitrios

“…O sucesso da estratégia do Prado ao Prato, que visa a transição para a sustentabilidade da agricultura europeia, irá depender das soluções tecnológicas já…”
Get full text