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