Search results
- 1.0433869 - MÚ 2015 RIV US eng J - Journal Article
Buss, S.R. - Kolodziejczyk, L. A. - Thapen, Neil
Fragments of approximate counting.
Journal of Symbolic Logic. Roč. 79, č. 2 (2014), s. 496-525. ISSN 0022-4812. E-ISSN 1943-5886
R&D Projects: GA AV ČR IAA100190902
Institutional support: RVO:67985840
Keywords : approximate counting * bounded arithmetic * ordering principle
Subject RIV: BA - General Mathematics
Impact factor: 0.541, year: 2014
http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9287274&fileId=S0022481213000376
Permanent Link: http://hdl.handle.net/11104/0238073File Download Size Commentary Version Access Thapen3.pdf 1 366.7 KB Publisher’s postprint require - 2.0388604 - MÚ 2013 RIV DE eng J - Journal Article
Jeřábek, Emil - Kolodziejczyk, L. A.
Real closures of models of weak arithmetic.
Archive for Mathematical Logic. Roč. 52, 1-2 (2013), s. 143-157. ISSN 0933-5846. E-ISSN 1432-0665
R&D Projects: GA AV ČR IAA100190902; GA MŠMT(CZ) 1M0545
Institutional support: RVO:67985840
Keywords : bounded arithmetic * real-closed field * recursive saturation
Subject RIV: BA - General Mathematics
Impact factor: 0.324, year: 2013
http://link.springer.com/article/10.1007%2Fs00153-012-0311-x
Permanent Link: http://hdl.handle.net/11104/0217505File Download Size Commentary Version Access Jerabek.pdf 1 226.4 KB Publisher’s postprint require - 3.0359552 - MÚ 2012 RIV NL eng J - Journal Article
Kolodziejczyk, L. A. - Thapen, Neil - Nguyen, Phuong
The provably total NP search problems of weak second order bounded arithmetic.
Annals of Pure and Applied Logic. Roč. 162, č. 6 (2011), s. 419-446. ISSN 0168-0072. E-ISSN 1873-2461
R&D Projects: GA AV ČR IAA100190902; GA MŠMT LC505
Institutional research plan: CEZ:AV0Z10190503
Keywords : complexity * fragments
Subject RIV: BA - General Mathematics
Impact factor: 0.450, year: 2011
http://www.sciencedirect.com/science/article/pii/S0168007210001491
Permanent Link: http://hdl.handle.net/11104/0197323File Download Size Commentary Version Access Thapen.pdf 1 500.9 KB Publisher’s postprint require - 4.0337059 - MÚ 2010 RIV DE eng J - Journal Article
Kolodziejczyk, L. A. - Thapen, Neil
The polynomial and linear time hierarchies in V-0.
[Polynomiální a lineární hierarchie ve V-0.]
Mathematical Logic Quarterly. Roč. 55, č. 5 (2009), s. 509-514. ISSN 0942-5616. E-ISSN 1521-3870
R&D Projects: GA MŠMT LC505
Institutional research plan: CEZ:AV0Z10190503
Keywords : Prefix parity * linear hierarchy * bounded arithmetic * bounded depth circuits
Subject RIV: BA - General Mathematics
Impact factor: 0.523, year: 2009
Permanent Link: http://hdl.handle.net/11104/0181147File Download Size Commentary Version Access Thapen.pdf 1 208.2 KB Publisher’s postprint require - 5.0319585 - MÚ 2009 RIV US eng J - Journal Article
Kolodziejczyk, L. A. - Thapen, Neil
The polynomial and linear hierarchies in models where the weak pigeonhole principle fails.
[Polynomiální a lineární hierarchie v modelech, kde neplatí slabý princip PHP.]
Journal of Symbolic Logic. Roč. 73, č. 2 (2008), s. 578-592. ISSN 0022-4812. E-ISSN 1943-5886
R&D Projects: GA MŠMT LC505
Institutional research plan: CEZ:AV0Z10190503
Keywords : polynomial and linear hierarchies in models
Subject RIV: BA - General Mathematics
Impact factor: 0.439, year: 2008
Permanent Link: http://hdl.handle.net/11104/0168692File Download Size Commentary Version Access Thapen.pdf 1 5.7 MB Publisher’s postprint require