The ordinal generated by an ordinal grammar is computable

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

FUZZY NEXUS OVER AN ORDINAL

‎‎In this paper‎, ‎we define fuzzy subnexuses over a nexus $N$‎. ‎Define and study the notions of the prime fuzzy subnexuses and the fractions‎‎induced by them‎. ‎Finally‎, ‎we show that if S is a meet‎‎closed subset of the set Fsub(N), ‎of fuzzy subnexuses of a nexus N‎, ‎and‎‎h= ⋀S ϵ S, ‎then the fractions S^-1 N and h^-1 N are isomorphic as meet-semilattices‎.

متن کامل

Ordinal analysis by transformations

The technique of using infinitary rules in an ordinal analysis has been one of the most productive developments in ordinal analysis. Unfortunately, one of the most advanced variants, the Buchholz Ωμ-rule, does not apply to systems much stronger than Π1-comprehension. In this paper, we propose a new extension of the Ω rule using game-theoretic quantifiers. We apply this to a system of inductive ...

متن کامل

An Ordinal Minimax Theorem

One of the earliest solution concepts considered in game theory are saddle points, combinations of actions such that no player can gain by deviating (see, e.g., von Neumann and Morgenstern, 1947). In two-player zero-sum games, every saddle point happens to coincide with the optimal outcome both players can guarantee in the worst case and thus enjoys a very strong normative foundation. Unfortuna...

متن کامل

fuzzy nexus over an ordinal

‎‎in this paper‎, ‎we define fuzzy subnexuses over a nexus $n$‎. ‎define and study the notions of the prime fuzzy subnexuses and the fractions‎‎induced by them‎. ‎finally‎, ‎we show that if s is a meet‎‎closed subset of the set fsub(n), ‎of fuzzy subnexuses of a nexus n‎, ‎and‎‎h= ⋀s ϵ s, ‎then the fractions s^-1 n and h^-1 n are isomorphic as meet-semilattices‎.

متن کامل

Modeling Paired Ordinal Response Data

 About 25 years ago, McCullagh proposed a method for modeling univariate ordinal responses. After publishing this paper, other statisticians gradually extended his method, such that we are now able to use more complicated but efficient methods to analyze correlated multivariate ordinal data, and model the relationship between these responses and host of covariates. In this paper, we aim to...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Theoretical Computer Science

سال: 2019

ISSN: 0304-3975

DOI: 10.1016/j.tcs.2019.04.016