The following pages link to On notation for ordinal numbers (Q5772803):
Displaying 46 items.
- (Q4997950) (← links)
- (Q4999723) (← links)
- Normalisation for Some Quite Interesting Many-Valued Logics (Q5013635) (← links)
- … and so on: Schütte on Naming Ordinals (Q5013893) (← links)
- ORDINAL ANALYSIS OF PARTIAL COMBINATORY ALGEBRAS (Q5015728) (← links)
- The Strict/Tolerant Idea and Bilattices (Q5020168) (← links)
- (Q5020543) (← links)
- (Q5021005) (← links)
- Memory limited inductive inference machines (Q5056125) (← links)
- Fixpoints and relative precompleteness (Q5075519) (← links)
- (Q5077350) (← links)
- Belief change and 3-valued logics: Characterization of 19,683 belief change operators (Q5130019) (← links)
- (S,N)-Implications on Bounded Lattices (Q5166236) (← links)
- Stability, Supportedness, Minimality and Kleene Answer Set Programs (Q5172611) (← links)
- Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis (Q5215504) (← links)
- A Generalization of ACP Using Belnap's Logic (Q5262974) (← links)
- Axiomatization of <tt>if-then-else</tt> over possibly non-halting programs and tests (Q5269894) (← links)
- <i>New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers</i>* (Q5275766) (← links)
- On Well-Founded Set-Inductions and Locally Monotone Operators (Q5278197) (← links)
- Classes of Polish spaces under effective Borel isomorphism (Q5365177) (← links)
- REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS (Q5381035) (← links)
- THE THEORY OF THE METARECURSIVELY ENUMERABLE DEGREES (Q5485749) (← links)
- Boolean elements in Lukasiewicz algebras, I (Q5553261) (← links)
- Non-uniqueness at ω2 in Kleene'sO (Q5586298) (← links)
- On Minimal and Almost-Minimal Systems of Notations (Q5622174) (← links)
- Hierarchies in Recursive Function Theory (Q5626638) (← links)
- Computability and Recursion (Q5689263) (← links)
- Diagonalisation and Church's Thesis: Kleene's Homework (Q5697424) (← links)
- Non-deterministic structures of computation (Q5740658) (← links)
- Semantical analysis of weak Kleene logics (Q5742697) (← links)
- On Vidal's trivalent explanations for defective conditional in mathematics (Q5742699) (← links)
- Recursive Functions and Intuitionistic Number Theory (Q5802130) (← links)
- Propositional Calculus and Realizability (Q5822056) (← links)
- Classes of Recursively Enumerable Sets and Their Decision Problems (Q5823276) (← links)
- Recursive Functions and Intuitionistic Number Theory (Q5833219) (← links)
- Recursive Predicates and Quantifiers (Q5843994) (← links)
- THE LATTICE OF SUPER-BELNAP LOGICS (Q5880424) (← links)
- Specht property for the algebra of upper triangular matrices of size two with a Taft’s algebra action (Q5882718) (← links)
- Proclus and the Neoplatonic syllogistic (Q5935792) (← links)
- A comparison of identification criteria for inductive inference of recursive real-valued functions (Q5958650) (← links)
- Is there a neutral metalanguage? (Q6067342) (← links)
- GÖDEL ON MANY-VALUED LOGIC (Q6074936) (← links)
- Extremal numberings and fixed point theorems (Q6094162) (← links)
- Stalnakerian connexive logics (Q6127194) (← links)
- A classification of low c.e. sets and the Ershov hierarchy (Q6140757) (← links)
- Non-transitive correspondence analysis (Q6156626) (← links)
