Concepedia

J. W. Addison

JW

Statistics

Publications

5

Citations

431

H-Index

5

Active since

1957

Affiliations

University of California, Berkeley(Current)

J. W. Addison is an author at University of California, Berkeley specializing in automated reasoning, semantics, and functional analysis.

Top concepts

SemanticsAutomated ReasoningFunctional Analysis

Publications per year

1957–2004

5

Publications

5

Some consequences of the axiom of constructibility

J. W. Addison · Fundamenta Mathematicae · 1959 · 180 citations · Full text

Foundation Of Mathematics, Paraconsistent Logic, Abstract Object Theory

Separation principles in the hierarchies of classical and effective descriptive set theory

J. W. Addison · Fundamenta Mathematicae · 1958 · 125 citations · Full text

Effective Descriptive, Mathematical Structure, Separation Principles +4

SOME CONSEQUENCES OF THE AXIOM OF DEFINABLE DETERMINATENESS

J. W. Addison, Yiannis N. Moschovakis · Proceedings of the National Academy of Sciences · 1968 · 94 citations · Full text

Definable Sets, Analytic Sets, Fs5 Sets +4

A note on function quantification

J. W. Addison, S. C. Kleene · Proceedings of the American Mathematical Society · 1957 · 21 citations

Generalized Function, Quantification, Function Quantification +2

Tarski's theory of definability: common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic

J. W. Addison · Annals of Pure and Applied Logic · 2004 · 11 citations

Recursive Function Theory, Automated Reasoning, Classical Logic +7

1–5 of 5