Peter A. Fejer

From MaRDI portal


List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Logical foundations of computer science. In 2 volumes. Vol 1: propositional logic. Vol 2: predicate logic
 
2024-09-10Paper
scientific article; zbMATH DE number 7015118 (Why is no real title available?)
 
2019-02-07Paper
Enumerations of the Kolmogorov function
Journal of Symbolic Logic
2006-08-03Paper
Embeddings of \(N_5\) and the contiguous degrees
Annals of Pure and Applied Logic
2003-01-30Paper
Every incomplete computably enumerable truth-table degree is branching
Archive for Mathematical Logic
2002-03-21Paper
scientific article; zbMATH DE number 1420830 (Why is no real title available?)
 
2000-03-22Paper
Lattice representations for computability theory
Annals of Pure and Applied Logic
1999-09-02Paper
Decidability of the two-quantifier theory of the recursively enumerable weak truth-table degrees and other distributive upper semi-lattices
Journal of Symbolic Logic
1997-06-03Paper
scientific article; zbMATH DE number 749917 (Why is no real title available?)
 
1995-08-27Paper
scientific article; zbMATH DE number 49151 (Why is no real title available?)
 
1993-01-23Paper
scientific article; zbMATH DE number 4170891 (Why is no real title available?)
 
1990-01-01Paper
Embedding Lattices with Top Preserved Below Non‐GL2 Degrees
Mathematical Logic Quarterly
1989-01-01Paper
Degree theoretical splitting properties of recursively enumerable sets
Journal of Symbolic Logic
1988-01-01Paper
Infima of recursively enumerable truth table degrees
Notre Dame Journal of Formal Logic
1988-01-01Paper
scientific article; zbMATH DE number 3954890 (Why is no real title available?)
 
1985-01-01Paper
The density of the nonbranching degrees
Annals of Pure and Applied Logic
1983-01-01Paper
Branching Degrees above low Degrees
 
1982-01-01Paper
scientific article; zbMATH DE number 3784859 (Why is no real title available?)
 
1981-01-01Paper


Research outcomes over time


This page was built for person: Peter A. Fejer