×

zbMATH — the first resource for mathematics

Pour-El, Marian Boykan

Compute Distance To:
Author ID: pour-el.marian-boykan Recent zbMATH articles by "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

Publications by Year

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
245
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
35
1981
A computable ordinary differential equation which possesses no computable solution. Zbl 0424.68028
Pour-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.02022
Pour-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.02049
Pour-El, Marian Boykan; Caldwell, Jerome
23
1975
Computability and noncomputability in classical analysis. Zbl 0513.03031
Pour-El, Marian Boykan; Richards, Ian
22
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
14
1983
Axiomatizable theories with few axiomatizable extensions. Zbl 0209.01204
Martin, D. A.; Pour-El, M. B.
13
1970
Deduction-preserving ’Recursive isomorphisms’ between theories. Zbl 0174.02003
Pour-El, M. B.; Kripke, S.
12
1967
Computability in analysis and physics. Reprint of the 1989 original published by Springer. Zbl 1365.03010
Pour-El, Marian B.; Richards, J. Ian
11
2016
The wave equation with computable initial data whose unique solution is nowhere computable. Zbl 0883.03045
Pour-El, Marian B.; Zhong, Ning
11
1997
Gödel numbering versus Friedberg numberings. Zbl 0168.25404
Pour-El, M. B.
9
1964
Recursively enumerable classes and their application to recursive sequences of formal theories. Zbl 0242.02046
Pour-El, Marian Boykan; Putnam, Hilary
7
1965
A structural criterion for recursive enumeration without repetition. Zbl 0132.24703
Pour-El, M. B.; Howard, W. A.
7
1964
A comparison of five ”computable” operators. Zbl 0095.24602
Pour-El, Marian Boykan
7
1960
The degree of unsolvability of a real number. Zbl 0985.03027
Dunlop, 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.47018
Pour-El, Marian Boykan; Richards, Ian
4
1987
The structure of computability in analysis and physical theory: An extension of Church’s thesis. Zbl 0945.03091
Pour-El, Marian Boykan
3
1999
\(L^ p\)-computability in recursive analysis. Zbl 0558.03030
Pour-El, Marian Boykan; Richards, Ian
3
1984
Deduction-preserving ’recursive isomorphisms’ between theories. Zbl 0174.02004
Pour-El, M. B.; Kripke, S.
3
1967
’Recursive isomorphism’ and effectively extensible theories. Zbl 0207.30903
Pour-El, M. B.
3
1965
Noncomputability in models of physical phenomena. Zbl 0493.35057
Pour-El, Marian Boykan; Richards, Ian
2
1982
Effectively extensible theories. Zbl 0179.01903
Pour-El, M. B.
2
1968
From axiomatics to intrinsic characterization: some open problems in computable analysis. Zbl 0916.68051
Pour-El, Marian Boykan
1
1999
Differentiability properties of computable functions - a summary. Zbl 0397.03038
Pour-El, M. B.; Richards, I.
1
1978
Abstract computability versus analog-generability. Zbl 0272.02068
Pour-El, Marian Boykan
1
1973
Independent axiomatization and its relation to the hypersimple set. Zbl 0182.00903
Pour-El, M. B.
1
1968
Computability in analysis and physics. Reprint of the 1989 original published by Springer. Zbl 1365.03010
Pour-El, Marian B.; Richards, J. Ian
11
2016
The degree of unsolvability of a real number. Zbl 0985.03027
Dunlop, 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.03091
Pour-El, Marian Boykan
3
1999
From axiomatics to intrinsic characterization: some open problems in computable analysis. Zbl 0916.68051
Pour-El, Marian Boykan
1
1999
The wave equation with computable initial data whose unique solution is nowhere computable. Zbl 0883.03045
Pour-El, Marian B.; Zhong, Ning
11
1997
Computability in analysis and physics. Zbl 0678.03027
Pour-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.47018
Pour-El, Marian Boykan; Richards, Ian
4
1987
\(L^ p\)-computability in recursive analysis. Zbl 0558.03030
Pour-El, Marian Boykan; Richards, Ian
3
1984
Computability and noncomputability in classical analysis. Zbl 0513.03031
Pour-El, Marian Boykan; Richards, Ian
22
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
14
1983
Noncomputability in models of physical phenomena. Zbl 0493.35057
Pour-El, Marian Boykan; Richards, Ian
2
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
35
1981
A computable ordinary differential equation which possesses no computable solution. Zbl 0424.68028
Pour-El, Marian Boykan; Richards, Ian
35
1979
Differentiability properties of computable functions - a summary. Zbl 0397.03038
Pour-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.02049
Pour-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.02022
Pour-El, Marian Boykan
33
1974
Abstract computability versus analog-generability. Zbl 0272.02068
Pour-El, Marian Boykan
1
1973
Axiomatizable theories with few axiomatizable extensions. Zbl 0209.01204
Martin, D. A.; Pour-El, M. B.
13
1970
Effectively extensible theories. Zbl 0179.01903
Pour-El, M. B.
2
1968
Independent axiomatization and its relation to the hypersimple set. Zbl 0182.00903
Pour-El, M. B.
1
1968
Deduction-preserving ’Recursive isomorphisms’ between theories. Zbl 0174.02003
Pour-El, M. B.; Kripke, S.
12
1967
Deduction-preserving ’recursive isomorphisms’ between theories. Zbl 0174.02004
Pour-El, M. B.; Kripke, S.
3
1967
Recursively enumerable classes and their application to recursive sequences of formal theories. Zbl 0242.02046
Pour-El, Marian Boykan; Putnam, Hilary
7
1965
’Recursive isomorphism’ and effectively extensible theories. Zbl 0207.30903
Pour-El, M. B.
3
1965
Gödel numbering versus Friedberg numberings. Zbl 0168.25404
Pour-El, M. B.
9
1964
A structural criterion for recursive enumeration without repetition. Zbl 0132.24703
Pour-El, M. B.; Howard, W. A.
7
1964
A comparison of five ”computable” operators. Zbl 0095.24602
Pour-El, Marian Boykan
7
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)

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.