# zbMATH — the first resource for mathematics

## Pour-El, Marian Boykan

Compute Distance To:
 Author ID: pour-el.marian-boykan Published as: Pour-El, M. B.; Pour-El, Marian B.; Pour-El, Marian Boykan External Links: MGP · Wikidata · GND
 Documents Indexed: 28 Publications since 1960, including 2 Books Biographic References: 1 Publication
all top 5

#### Co-Authors

 10 single-authored 10 Richards, Ian 2 Kripke, Saul A. 1 Caldwell, Jerome 1 Dunlop, Anthony J. 1 Howard, William A. 1 Martin, Donald A. 1 Putnam, Hilary Whitehall 1 Zhong, Ning
all top 5

#### Serials

 4 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 3 Advances in Mathematics 2 The Journal of Symbolic Logic 2 Proceedings of the American Mathematical Society 2 Transactions of the American Mathematical Society 2 Bulletin of the American Mathematical Society 1 Archiv für Mathematische Logik und Grundlagenforschung 1 International Journal of Theoretical Physics 1 Acta Cybernetica 1 Annals of Mathematical Logic 1 Dialectica 1 Fundamenta Mathematicae 1 Theoretical Computer Science 1 Mathematical Logic Quarterly (MLQ) 1 Perspectives in Logic 1 Perspectives in Mathematical Logic
all top 5

#### Fields

 20 Mathematical logic and foundations (03-XX) 5 Functional analysis (46-XX) 3 Ordinary differential equations (34-XX) 3 Partial differential equations (35-XX) 3 Computer science (68-XX) 2 Real functions (26-XX) 2 Functions of a complex variable (30-XX) 1 Approximations and expansions (41-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Operator theory (47-XX)

#### Citations contained in zbMATH

27 Publications have been cited 512 times in 378 Documents Cited by Year
Computability in analysis and physics. Zbl 0678.03027
Pour-El, Marian B.; Richards, J. Ian
1989
The wave equation with computable initial data such that its unique solution is not computable. Zbl 0465.35054
Pour-El, Marian Boykan; Richards, Ian
1981
A computable ordinary differential equation which possesses no computable solution. Zbl 0424.68028
Pour-El, Marian Boykan; Richards, Ian
1979
Abstract computability and its relation to the general purpose analog computer. (Some connections between logic, differential equations and analog computers.). Zbl 0296.02022
Pour-El, Marian Boykan
1974
On a simple definition of computable function of a real variable - with applications to functions of a complex variable. Zbl 0323.02049
Pour-El, Marian Boykan; Caldwell, Jerome
1975
Computability and noncomputability in classical analysis. Zbl 0513.03031
Pour-El, Marian Boykan; Richards, Ian
1983
Noncomputability in analysis and physics: A complete determination of the class of noncomputable linear operators. Zbl 0519.03045
Pour-El, Marian Boykan; Richards, Ian
1983
Axiomatizable theories with few axiomatizable extensions. Zbl 0209.01204
Martin, D. A.; Pour-El, M. B.
1970
Deduction-preserving ’Recursive isomorphisms’ between theories. Zbl 0174.02003
Pour-El, M. B.; Kripke, S.
1967
Computability in analysis and physics. Reprint of the 1989 original published by Springer. Zbl 1365.03010
Pour-El, Marian B.; Richards, J. Ian
2016
The wave equation with computable initial data whose unique solution is nowhere computable. Zbl 0883.03045
Pour-El, Marian B.; Zhong, Ning
1997
Gödel numbering versus Friedberg numberings. Zbl 0168.25404
Pour-El, M. B.
1964
Recursively enumerable classes and their application to recursive sequences of formal theories. Zbl 0242.02046
Pour-El, Marian Boykan; Putnam, Hilary
1965
A structural criterion for recursive enumeration without repetition. Zbl 0132.24703
Pour-El, M. B.; Howard, W. A.
1964
A comparison of five ”computable” operators. Zbl 0095.24602
Pour-El, Marian Boykan
1960
The degree of unsolvability of a real number. Zbl 0985.03027
Dunlop, Anthony J.; Pour-El, Marian Boykan
2001
The eigenvalues of an effectively determined self-adjoint operator are computable, but the sequence of eigenvalues is not. Zbl 0616.47018
Pour-El, Marian Boykan; Richards, Ian
1987
The structure of computability in analysis and physical theory: An extension of Church’s thesis. Zbl 0945.03091
Pour-El, Marian Boykan
1999
$$L^ p$$-computability in recursive analysis. Zbl 0558.03030
Pour-El, Marian Boykan; Richards, Ian
1984
Deduction-preserving ’recursive isomorphisms’ between theories. Zbl 0174.02004
Pour-El, M. B.; Kripke, S.
1967
’Recursive isomorphism’ and effectively extensible theories. Zbl 0207.30903
Pour-El, M. B.
1965
Noncomputability in models of physical phenomena. Zbl 0493.35057
Pour-El, Marian Boykan; Richards, Ian
1982
Effectively extensible theories. Zbl 0179.01903
Pour-El, M. B.
1968
From axiomatics to intrinsic characterization: some open problems in computable analysis. Zbl 0916.68051
Pour-El, Marian Boykan
1999
Differentiability properties of computable functions - a summary. Zbl 0397.03038
Pour-El, M. B.; Richards, I.
1978
Abstract computability versus analog-generability. Zbl 0272.02068
Pour-El, Marian Boykan
1973
Independent axiomatization and its relation to the hypersimple set. Zbl 0182.00903
Pour-El, M. B.
1968
Computability in analysis and physics. Reprint of the 1989 original published by Springer. Zbl 1365.03010
Pour-El, Marian B.; Richards, J. Ian
2016
The degree of unsolvability of a real number. Zbl 0985.03027
Dunlop, Anthony J.; Pour-El, Marian Boykan
2001
The structure of computability in analysis and physical theory: An extension of Church’s thesis. Zbl 0945.03091
Pour-El, Marian Boykan
1999
From axiomatics to intrinsic characterization: some open problems in computable analysis. Zbl 0916.68051
Pour-El, Marian Boykan
1999
The wave equation with computable initial data whose unique solution is nowhere computable. Zbl 0883.03045
Pour-El, Marian B.; Zhong, Ning
1997
Computability in analysis and physics. Zbl 0678.03027
Pour-El, Marian B.; Richards, J. Ian
1989
The eigenvalues of an effectively determined self-adjoint operator are computable, but the sequence of eigenvalues is not. Zbl 0616.47018
Pour-El, Marian Boykan; Richards, Ian
1987
$$L^ p$$-computability in recursive analysis. Zbl 0558.03030
Pour-El, Marian Boykan; Richards, Ian
1984
Computability and noncomputability in classical analysis. Zbl 0513.03031
Pour-El, Marian Boykan; Richards, Ian
1983
Noncomputability in analysis and physics: A complete determination of the class of noncomputable linear operators. Zbl 0519.03045
Pour-El, Marian Boykan; Richards, Ian
1983
Noncomputability in models of physical phenomena. Zbl 0493.35057
Pour-El, Marian Boykan; Richards, Ian
1982
The wave equation with computable initial data such that its unique solution is not computable. Zbl 0465.35054
Pour-El, Marian Boykan; Richards, Ian
1981
A computable ordinary differential equation which possesses no computable solution. Zbl 0424.68028
Pour-El, Marian Boykan; Richards, Ian
1979
Differentiability properties of computable functions - a summary. Zbl 0397.03038
Pour-El, M. B.; Richards, I.
1978
On a simple definition of computable function of a real variable - with applications to functions of a complex variable. Zbl 0323.02049
Pour-El, Marian Boykan; Caldwell, Jerome
1975
Abstract computability and its relation to the general purpose analog computer. (Some connections between logic, differential equations and analog computers.). Zbl 0296.02022
Pour-El, Marian Boykan
1974
Abstract computability versus analog-generability. Zbl 0272.02068
Pour-El, Marian Boykan
1973
Axiomatizable theories with few axiomatizable extensions. Zbl 0209.01204
Martin, D. A.; Pour-El, M. B.
1970
Effectively extensible theories. Zbl 0179.01903
Pour-El, M. B.
1968
Independent axiomatization and its relation to the hypersimple set. Zbl 0182.00903
Pour-El, M. B.
1968
Deduction-preserving ’Recursive isomorphisms’ between theories. Zbl 0174.02003
Pour-El, M. B.; Kripke, S.
1967
Deduction-preserving ’recursive isomorphisms’ between theories. Zbl 0174.02004
Pour-El, M. B.; Kripke, S.
1967
Recursively enumerable classes and their application to recursive sequences of formal theories. Zbl 0242.02046
Pour-El, Marian Boykan; Putnam, Hilary
1965
’Recursive isomorphism’ and effectively extensible theories. Zbl 0207.30903
Pour-El, M. B.
1965
Gödel numbering versus Friedberg numberings. Zbl 0168.25404
Pour-El, M. B.
1964
A structural criterion for recursive enumeration without repetition. Zbl 0132.24703
Pour-El, M. B.; Howard, W. A.
1964
A comparison of five ”computable” operators. Zbl 0095.24602
Pour-El, Marian Boykan
1960
all top 5

#### Cited by 306 Authors

 20 Zhong, Ning 19 Brattka, Vasco 13 Graça, Daniel Silva 13 Tucker, John V. 13 Weihrauch, Klaus 12 Ko, Ker-I 12 Zheng, Xizhong 10 Downey, Rodney Graham 10 McNicholl, Timothy H. 10 Ziegler, Martin 9 Pour-El, Marian Boykan 8 Campagnolo, Manuel Lameiras 8 Costa, José Félix 8 Edalat, Abbas 7 Beggs, Edwin J. 7 Bournez, Olivier 7 Iljazović, Zvonko 7 Zucker, Jeffery I. 6 Hertling, Peter H. 6 Kalantari, Iraj 6 Rubel, Lee Albert 6 Spreen, Dieter 6 Tsujii, Yoshiki 6 Welch, Lawrence V. 6 Yasugi, Mariko 5 Buescu, Jorge 5 Cenzer, Douglas 5 Melnikov, Alexander G. 5 Mori, Takakazu 5 Nies, André Otfrid 5 Rettinger, Robert 5 Richards, Ian 5 Yoshikawa, Atsushi 5 Yu, Fuxiang 4 Dillhage, Ruth 4 Lester, David R 4 Pauly, Arno M. 4 Simpson, Stephen G. 4 Steinberg, Florian 4 Sun, Shuming 3 Avigad, Jeremy 3 Bosserhoff, Volker 3 Greenberg, Noam 3 Hainry, Emmanuel 3 Hemmerling, Armin 3 Hoyrup, Mathieu 3 Kawamura, Akitoshi 3 Kohlenbach, Ulrich Wilhelm 3 Lipshitz, Leonard 3 Lutz, Jack H. 3 Miller, Joseph S. 3 Moore, Cristopher 3 Mycka, Jerzy 3 Pažek, Bojan 3 Pouly, Amaury 3 Remmel, Jeffrey B. 3 Rojas, Cristobal 3 Schröder, Matthias 3 Shavrukov, V. Yu. 3 Validžić, Lucija 3 Wehner, Stephan 2 Anashin, Vladimir Sergeevich 2 Antoniou, Ioannis E. 2 Arikawa, Setsuo 2 Baliga, Ganesh R. 2 Barmpalias, George 2 Bernardi, Claudio 2 Blanck, Jens 2 Buser, Peter 2 Case, John 2 Chou, Arthur Weichung 2 Collins, Peter J. 2 Denef, Jan 2 Fishman, Shmuel 2 Franklin, Johanna N. Y. 2 Freer, Cameron E. 2 Fu, Ming Quan 2 Gherardi, Guido 2 Goncharov, Sergeĭ Savost’yanovich 2 Gu, Xiaoyang 2 Hellman, Geoffrey 2 Hirowatari, Eiju 2 Hötzel Escardó, Martín 2 Kreitz, Christoph 2 Kummer, Martin 2 Longo, Giuseppe 2 Lu, Dianchen 2 MacLennan, Bruce J. 2 Mayordomo, Elvira 2 Moser, Philippe 2 Mulry, Philip S. 2 Németi, István 2 Ojakian, Kerry 2 Roy, Daniel M. 2 Scarpellini, Bruno 2 Shore, Richard A. 2 Siegelmann, Hava T. 2 Stoltenberg-Hansen, Viggo 2 Suchanecki, Zdzislaw 2 Sünderhauf, Philipp ...and 206 more Authors
all top 5

#### Cited in 77 Serials

 60 Theoretical Computer Science 37 Annals of Pure and Applied Logic 25 Journal of Complexity 21 The Journal of Symbolic Logic 17 Mathematical Logic Quarterly (MLQ) 12 Applied Mathematics and Computation 11 Transactions of the American Mathematical Society 10 Theory of Computing Systems 9 Information and Computation 8 Archive for Mathematical Logic 8 The Bulletin of Symbolic Logic 7 Proceedings of the American Mathematical Society 6 Algebra and Logic 6 MSCS. Mathematical Structures in Computer Science 4 Natural Computing 3 International Journal of Theoretical Physics 3 Advances in Mathematics 3 Proceedings of the Japan Academy. Series A 3 Topology and its Applications 3 Advances in Applied Mathematics 3 Physica D 3 Bulletin of the American Mathematical Society. New Series 3 Journal of Logic and Analysis 2 Archiv für Mathematische Logik und Grundlagenforschung 2 Israel Journal of Mathematics 2 Journal of Mathematical Analysis and Applications 2 Journal of Computer and System Sciences 2 Journal of Mathematical Economics 2 Journal of Philosophical Logic 2 Mathematics and Computers in Simulation 2 Synthese 2 Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 2 Journal of Mathematical Logic 2 The Journal of Logic and Algebraic Programming 2 Bulletin of the American Mathematical Society 2 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics 2 Journal of Logical and Algebraic Methods in Programming 1 Computers & Mathematics with Applications 1 International Journal of General Systems 1 Physics Letters. A 1 Chaos, Solitons and Fractals 1 The Mathematical Intelligencer 1 Algebra Universalis 1 Journal of Approximation Theory 1 Journal of Computational and Applied Mathematics 1 Journal of Differential Equations 1 Journal of Pure and Applied Algebra 1 Kybernetika 1 Mathematische Annalen 1 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 1 Notre Dame Journal of Formal Logic 1 Numerical Functional Analysis and Optimization 1 Studia Logica 1 Tohoku Mathematical Journal. Second Series 1 Systems & Control Letters 1 History and Philosophy of Logic 1 Journal of Symbolic Computation 1 Journal of the American Mathematical Society 1 International Journal of Computer Mathematics 1 Linear Algebra and its Applications 1 RAIRO. Informatique Théorique et Applications 1 Journal de Théorie des Nombres de Bordeaux 1 Journal of Mathematical Sciences (New York) 1 Bulletin des Sciences Mathématiques 1 Annals of Mathematics and Artificial Intelligence 1 Discrete and Continuous Dynamical Systems 1 Doklady Mathematics 1 Soft Computing 1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 LMS Journal of Computation and Mathematics 1 RAIRO. Theoretical Informatics and Applications 1 Physical Review Letters 1 Journal of Applied Logic 1 Logical Methods in Computer Science 1 $$p$$-Adic Numbers, Ultrametric Analysis, and Applications 1 ACM Transactions on Computation Theory 1 Nonlinear Analysis. Theory, Methods & Applications
all top 5

#### Cited in 43 Fields

 265 Mathematical logic and foundations (03-XX) 142 Computer science (68-XX) 22 Real functions (26-XX) 22 Ordinary differential equations (34-XX) 21 Operator theory (47-XX) 20 Dynamical systems and ergodic theory (37-XX) 20 Numerical analysis (65-XX) 18 General topology (54-XX) 15 Functional analysis (46-XX) 15 Quantum theory (81-XX) 12 Partial differential equations (35-XX) 7 General and overarching topics; collections (00-XX) 7 Mechanics of particles and systems (70-XX) 6 Harmonic analysis on Euclidean spaces (42-XX) 6 Probability theory and stochastic processes (60-XX) 5 Number theory (11-XX) 5 Field theory and polynomials (12-XX) 5 Category theory; homological algebra (18-XX) 5 Measure and integration (28-XX) 5 Functions of a complex variable (30-XX) 4 History and biography (01-XX) 4 Approximations and expansions (41-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Information and communication theory, circuits (94-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 General algebraic systems (08-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 2 Group theory and generalizations (20-XX) 2 Topological groups, Lie groups (22-XX) 2 Special functions (33-XX) 2 Integral equations (45-XX) 2 Convex and discrete geometry (52-XX) 2 Manifolds and cell complexes (57-XX) 2 Statistical mechanics, structure of matter (82-XX) 2 Operations research, mathematical programming (90-XX) 2 Systems theory; control (93-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Abstract harmonic analysis (43-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Geometry (51-XX) 1 Differential geometry (53-XX) 1 Fluid mechanics (76-XX)

#### Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.