Search results

Constructible models of subsystems of ZF 1980-01-01 Paper The next admissible ordinal 1979-01-01 Paper A New Proof that π < σ 1979-01-01 Paper On the Failure...

large ordinals: A well-ordering proof for KPM 1995-01-23 Paper How to develop Proof‐Theoretic Ordinal Functions on the basis of admissible ordinals 1995-01-03...

applicative theories: its proof-theoretic analysis via ordinal theories 2011-09-22 Paper Admissible closures of polynomial time computable arithmetic 2011-08-16...

E-Implications 2020-08-20 Paper About the Use of Admissible Order for Defining Implication Operators 2020-08-18 Paper Ordinal sums of the main classes of fuzzy negations...

Atanassov intuitionistic t-norms and t-conorms endowed with the usual or admissible orders 2023-02-27 Paper Penalty-based functions defined by pre-aggregation...

of Infinite Time Blum-Shub-Smale Machines 2012-08-14 Paper Ordinal machines and admissible recursion theory 2009-10-26 Paper...

Paper Ordinal Computability 2010-07-28 Paper The basic theory of infinite time register machines 2010-03-02 Paper Ordinal machines and admissible recursion...

intuitionistic arithmetic 2003-09-16 Paper AN ORDINAL ANALYSIS OF ADMISSIBLE SET THEORY USING RECURSION ON ORDINAL NOTATIONS 2003-07-25 Paper Saturated models...

vectors equipped with an admissible order and an application in multi-criteria group decision-making 2021-10-27 Paper Ordinal sums of the main classes...

point theorems 2023-09-12 Paper Embedding of the first nonconstructive ordinal into the Rogers semilattices of families of arithmetic sets 2023-08-18 Paper...

inclusion isotonic 2023-10-27 Paper On triangular norms representable as ordinal sums based on interior operators on a bounded meet semilattice 2023-10-27...

2013-12-05 Paper Admissible, consistent multiple testing with applications including variable selection 2013-05-27 Paper Multiple testing in ordinal data models...

ideals 2014-03-21 Paper Bounds on the strength of ordinal definable determinacy in small admissible sets 2012-11-23 Paper https://portal.mardi4nfdi.de/entity/Q3528596...

Characterizations on migrativity of continuous triangular conorms with respect to \(N\)-ordinal sum implications 2024-03-28 Paper Different Forms of Generalized Hypothetical...

explicit mathematics and admissible set theory 2002-12-05 Paper The non-constructive \(\mu\) operator, fixed point theories with ordinals, and the bar rule 2001-07-16...

Paper Metarecursively enumerable sets and admissible ordinals 1966-01-01 Paper Post's Problem, Admissible Ordinals, and Regularity 1966-01-01 Paper Metarecursive...

uncertain variables 2012-10-17 Paper On the Comparisons of OWA Operators and Ordinal OWA Operators 2012-02-17 Paper A fuzzy control system with application to...

2013-05-28 Paper Admissible, consistent multiple testing with applications including variable selection 2013-05-27 Paper Multiple testing in ordinal data models...

computable functions 1972-01-01 Paper Admissible ordinals and intrinsic consistency 1971-01-01 Paper Admissible ordinals and lattices of α-R.E. sets 1971-01-01...

saturation 1978-01-01 Paper Ordinal spectra of first-order theories 1978-01-01 Paper A guide to the identification of admissible sets above structures 1977-01-01...