The unique existential quantifier.
H.B. Enderton (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Non-Uniqueness at ... in Kleene's O.”
The unique existential quantifier.
Disjunctive properties of intuitionistic systems.
B. Scarpellini (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Quantifier elimination for modules.
Volker Weispfennig (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Spielquantorinterpretationen unstetiger Funktionale der höheren Analysis.
Wolfgang Friedrich (1984)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Quasi-axiomatic classes.
Klaus Kaiser (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Existential interpretation. II.
Yuri Gurevich (1982)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Synthetic compontents of infinite classes of postulates.
Pavel Tichy (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Inhomogene Operationen reeller Ordinalzahlen.
Dieter Klaua (1981)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Systèmes dynamiques non commutatifs et moyennabilité.
Claire Anantharaman-Delaroche (1987/88)
Mathematische Annalen
Similarity:
Non-Uniqueness and Uniqueness in the Cauchy Problem at Simple Characteristic Points.
Jan Persson (1973)
Mathematische Annalen
Similarity:
Dualität in Moduln.
Azmi Hanna (1966)
Journal für die reine und angewandte Mathematik
Similarity:
Quasibeschränkte Fredholmoperatoren.
Helmut Kroh (1975)
Journal für die reine und angewandte Mathematik
Similarity:
Idealtheorie in Quaternionenalgebren
H. Brandt (1928)
Mathematische Annalen
Similarity:
Kommutatoren und 2-Cohomologie p-adischer Quaternionenschiefkörper.
Joachim Klose (1986)
Mathematische Zeitschrift
Similarity:
On desingularized Horrocks-Mumford quintics.
Ciprian Borcea (1991)
Journal für die reine und angewandte Mathematik
Similarity:
On subseries.
Tibor Salát (1964)
Mathematische Zeitschrift
Similarity:
Non-Replaceable Matrices.
Albert Wilansky, Andrew K. Snyder (1972)
Mathematische Zeitschrift
Similarity:
Noncyclic Division Algebras.
John Dauns (1979)
Mathematische Zeitschrift
Similarity:
Quadratsummen in Restklassenringen.
Detlef Laugwitz (1980)
Elemente der Mathematik
Similarity:
Charakterisierung der zweiseitigen Exponentialverteilung.
P. Findeisen (1982)
Metrika
Similarity:
On the Existence and Uniqueness of Non-homogeneous Motions in Exterior Domains.
Mariarosaria Padula (1990)
Mathematische Zeitschrift
Similarity:
A-Endomorphismes de A(X).
J.B. Castillon, A. Micali (1978)
Manuscripta mathematica
Similarity:
Uniqueness in the first maximum problem.
Vlastimil Ptak (1983)
Manuscripta mathematica
Similarity:
Reguläre idempotente Multiplikationen.
Karl Strambach (1975)
Mathematische Zeitschrift
Similarity:
In memoriam Kurt Reidemeister.
H. Behnke, F. Bachmann, W. Franz (1972)
Mathematische Annalen
Similarity:
Quaternionic Manifolds.
Andrew John Sommese (1974)
Mathematische Annalen
Similarity:
Non-Replaceable Matrices.
Robert De Vos (1984)
Mathematische Zeitschrift
Similarity:
Endomorphism of Polycyclic Groups.
Bertram A.F. Wehrfritz (1983)
Mathematische Zeitschrift
Similarity:
Symétrisation d'inéquations élliptiques et applications géométriques.
Najoua Abdelmoula (1988)
Mathematische Zeitschrift
Similarity:
Feuilletages et diffeomorphismes infiniment tangents ä Fidentite
F. Sergeraert (1977)
Inventiones mathematicae
Similarity:
Ueber polyedrale Configurationen
de Vries (1889)
Mathematische Annalen
Similarity:
About Uniqueness for Nonlinear Boundary Value Problems.
V. Schuchman (1984)
Mathematische Annalen
Similarity:
Operatormethoden für q-Identitäten.
J. Cigler (1979)
Monatshefte für Mathematik
Similarity:
Non-Realizable CR Structures.
Howard Jacobowitz, Francois Treves (1982)
Inventiones mathematicae
Similarity:
Nichtäquidistante Diskretisierungen von Randwertaufgaben.
H. Esser, K. Niederdrenk (1980)
Numerische Mathematik
Similarity:
Signatures et composantes connexes.
Louis Mahé (1982)
Mathematische Annalen
Similarity:
A counterexample to the L² estimate //Xyu//...C(//X...u// + //Y...u// + //u//).
Jaroslaw Wróblewski (1996)
Mathematische Annalen
Similarity:
Zum L(Q)-Interpolationsproblem.
Hans-Dieter Ebbinghaus (1975)
Mathematische Zeitschrift
Similarity:
Homologie de Frobenius.
M. André (1991)
Mathematische Annalen
Similarity:
On Quasibarrelled Spaces.
A. Marquina, P. Pérez Carreras (1974)
Manuscripta mathematica
Similarity:
Non-analytic Hypersurfaces in Cn.
James J.V. Faran (1977)
Mathematische Annalen
Similarity:
Kostenoptimale Prüfplane für ein quantitatives Merkmal.
U. Mäder (1986)
Metrika
Similarity:
Crosssed products in bimodules.
Shigeru Yamagami (1996)
Mathematische Annalen
Similarity:
Counterexamples to Hölmgren's uniqueness for analytic non linear Cauchy problem.
G. Métivier (1993)
Inventiones mathematicae
Similarity:
Subpair multiplicities in finite groups.
Michel Broué, Jorn B. Olsson (1986)
Journal für die reine und angewandte Mathematik
Similarity:
Geodesics in non-holonomic geometry
J.L. Synge (1928)
Mathematische Annalen
Similarity:
Uniqueness of the Cauchy problem for convolution equations.
Sönke Hansen (1980)
Journal für die reine und angewandte Mathematik
Similarity:
A non-linear difference-differential equation.
E.M. Wright (1955)
Journal für die reine und angewandte Mathematik
Similarity:
Sur la non-contradiction de l'Arithmétique.
J. Herbrand (1932)
Journal für die reine und angewandte Mathematik
Similarity: