A New System of Proof-Theoretic Ordinal Functions

Annals of Pure and Applied Logic - Netherlands
doi 10.1016/0168-0072(86)90052-7
Full Text
Abstract

Available in full text

Categories
Logic
Date
Authors
Publisher

Elsevier BV

Related search

Introduction: Proof-Theoretic Semantics

Synthese
PhilosophySocial Sciences
2006English

A Proof Theoretic View of Constraint Programming

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1998English

Proof-Theoretic Methods in Nonlinear Analysis

2019English

Advances in Proof-Theoretic Semantics: Introduction

Trends in Logic
2015English

A Proof-Theoretic Trust and Reputation Model for VANET

2017English

Proof Without Words: A Graph Theoretic Decomposition of Binomial Coefficients

Mathematics Magazine
Mathematics
2007English

An Information Theoretic Measure for the Evaluation of Ordinal Scale Data

Behavior Research Methods
DevelopmentalArtsPsychologyEducational PsychologyCognitive PsychologyHumanitiesExperimental
2006English

A Representation-Theoretic Proof of the Branching Rule for Macdonald Polynomials

Mathematical Research Letters
Mathematics
2016English

Recursive Functions Defined by Ordinal Recursions

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1969English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy