You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (5)

Journals (0)

1-5 of 5 results for König’s lemma

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Choice principles characterizing the difference between König’s lemma and weak König’s lemma in constructive reverse mathematics

Retricted access

Research article

First published 2025-2

Choice principles characterizing the difference between König’s lemma and weak König’s lemma in constructive reverse mathematics

Makoto Fujiwara, Takako Nemoto

Computability

Select article: Weak König’s Lemma Implies the Uniform Continuity Theorem

Retricted access

Research article

First published 2013-2

Weak König’s Lemma Implies the Uniform Continuity Theorem

Hannes Diener

Computability

Select article: Decidability of Several Concepts of Finiteness for Simple Types

Retricted access

Research article

First published 2019

Decidability of Several Concepts of Finiteness for Simple Types

José Espírito Santo, Ralph Matthes, Luís Pinto

Fundamenta Informaticae

Select article: Countable sets versus sets that are countable in reverse mathematics

Retricted access

Research article

First published 2022-1-12

Countable sets versus sets that are countable in reverse mathematics

Sam Sanders

Computability

Select article: Limit computability and ultrafilters

Retricted access

Research article

First published 2023-6-21

Limit computability and ultrafilters

Uri Andrews, Mingzhong Cai, David Diamondstone [...]

Computability

1
10 / page

Article type

Publication date

Subjects

Access