Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for 03F35 with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1998 (4) 2001 (1) 2007 (1) 2008 (2)
Publication types (Num. hits)
article(8)
Venues (Conferences, Journals, ...)
Arch. Math. Log.(8)
Authors
Ulrich Kohlenbach(2) Alberto Marcone(1) Carl Mummert(1) Fernando Ferreira 0001(1) Gilda Ferreira(1) Keita Yokoyama(1) Mariagnese Giusto(1) Masahiro Hamano(1) Mitsuhiro Okada(1) Nobuyuki Sakamoto(1) Toshiyasu Arai(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 1 keywords
Results
Found 8 publication records. Showing 8 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
26Carl Mummert Subsystems of second-order arithmetic between RCA0 and WKL0. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 03B30, 03F35
26Fernando Ferreira 0001, Gilda Ferreira Harrington's conservation theorem redone. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 03F35, 03F07, 03F05
26Nobuyuki Sakamoto, Keita Yokoyama The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) Primary 03B30, Secondary 03F35, 26E35
26Ulrich Kohlenbach A note on Spector's quantifier-free rule of extensionality. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000): 03F07, 03F10, 03F50, 03F35
26Toshiyasu Arai Consistency proof via pointwise induction. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (1991): 03F15, 03F30, 03F35
26Mariagnese Giusto, Alberto Marcone Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification:03F35
26Masahiro Hamano, Mitsuhiro Okada A direct independence proof of Buchholz's Hydra Game on finite labeled trees. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification: 03F03, 03F35, 03F05
26Ulrich Kohlenbach Elimination of Skolem functions for monotone formulas in analysis. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification: 03F35, 03F10, 03F03, 03F25
Displaying result #1 - #8 of 8 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license