[Keyword: Determinacy] AND [All Books] : Search

System Upgrade on Tue, May 28th, 2024 at 2am (EDT)

Existing users will be able to log into the site and access content. However, E-commerce and registration of new users may not be available for up to 12 hours.
For online purchase, please visit us again. Contact us at customercare@wspc.com for any enquiries.

Advanced Search

SEARCH GUIDE

Results: 1 - 1of1

Follow results:

per page:

Sort: Relevance

Context for search term 1Search term 1*

All Dates

LastSelect static range

Custom Range

Select starting monthSelect starting year

Select ending monthSelect ending year

Search name	Searched On	Run search
[Keyword: Event Study] AND [All Books] (3)	27 Mar 2025	Run
[Keyword: Determinacy] AND [All Books] (1)	27 Mar 2025	Run
[in Journal: Algebra Colloquium] AND [Keyword: Edge Ideals] (2)	27 Mar 2025	Run
Keyword: User Demand (0)	27 Mar 2025	Run
[Keyword: Nanoscience] AND [All Books] (1)	27 Mar 2025	Run

chapterNo Access
A note on multiple inductive definitions
- Kazuyuki Tanaka
Proceedings of the 10th Asian Logic Conference01 Dec 2009
Preview Abstract
In Ref. 8, we introduced a new axiom scheme for multiple inductive definitions to capture the exact strength of -determinacy in second order arithmetic. In this paper, we show this complicated axiom turns out to be equivalent to an axiom of single inductive definitions. This observation is useful to characterize and related systems.

1