descriptionPublicationkeyboard_double_arrow_right Article , Preprint 01 Sep 2008Embargo end date: 01 Jan 2006 English Publisher:Elsevier BVJournal:Annals of Pure and Applied Logic, volume 155, pages 69-85 (issn: 0168-0072,

Authors: SORBI, ANDREA; Terwijn S.;

doi: 10.1016/j.apal.2008.03.002 , 10.48550/arxiv.math/0606494

arXiv: http://arxiv.org/abs/math/0606494

handle: 11245/1.297069 , 11365/8817

Intermediate logics and factors of the Medvedev lattice

- Summary
- Subjects
- Metrics

Abstract

We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them.

Related Organizations

View all View all

Keywords

Medvedev degrees, Logic, 101013 Mathematische Logik, Mathematics - Logic, Intermediate logics, 004, Medvedev lattice; Brouwer algebra; intermediate logic, 101013 Mathematical logic, 03G10, Factor lattices, FOS: Mathematics, 03D80, Medvedev lattice, 03B55, Logic (math.LO), Brouwer algebra, intermediate logic, 03D30

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	14
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Top 10%