Found 52 Documents (Results 1–52)
Quantifier elimination for quasi-real closed fields. (English. French summary) Zbl 1473.03017
Reviewer: Beibut Kulpeshov (Almaty)
A note on extensions of \(\mathbb{Q}^{tr}\). (English. French summary) Zbl 1417.11130
On the unitary group associated to an involution of an algebraically closed field. (Sur le groupe unitaire relatif à une involution d’un corps algébriquement clos.) (French. English summary) Zbl 1261.12004
Reviewer: Ali Benhissi (Monastir)
Henriksen’s contributions to residue class rings of analytic and entire functions. (English) Zbl 1234.30025
Manipulating the reals in \(\text{RCA}_0\). (English) Zbl 1087.03043
Simpson, Stephen G. (ed.), Reverse mathematics 2001. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-263-9/hbk; 1-56881-264-7/pbk). Lecture Notes in Logic 21, 379-393 (2005).
On the algebraically complete property of rings. (Chinese. English summary) Zbl 1055.16032
MSC:
16S99
Expansions of algebraically closed fields in o-minimal structures. (English) Zbl 1010.03027
Reviewer: M.Yasuhara (Princeton)
Characterization of field homomorphisms by functional equations. II. (English) Zbl 0991.39012
Reviewer: János Aczél (Waterloo/Ontario)
Generalized Positivstellensatz for valued fields. (Une généralisation du Positivstellensatz pour les corps valués algébriquement clos.) (French) Zbl 0993.12005
Reviewer: Danielle Gondard-Cozette (Paris)
Introduction to model theory. (Introduzione alla teoria dei modelli.) (Italian) Zbl 0937.03044
Quaderni dell’Unione Matematica Italiana. 43. Bologna: Pitagora Editrice. v, 250 p. (1998).
Reviewer: D.Mundici (Milano)
A note on valuation definable expansions of fields. (English) Zbl 0920.03047
Reviewer: T.Pheidas (Iraklion)
Algebraic geometry on a non algebraically closed field. I. (Géométrie algébrique sur un corps non algébriquement clos. I.) (French) Zbl 0919.14013
Reviewer: Christodor-Paul Ionescu (Bucureşti)
Numbers defined by Turing machines. (English) Zbl 0851.03012
Collegium logicum. Annals of the Kurt Gödel Society. Volume 2. Wien: Springer-Verlag. 118-137 (1996).
Reviewer: A.V.Anisimov (Kiev)
Model theory of fields. (English) Zbl 0911.12005
Lecture Notes in Logic. 5. Berlin: Springer-Verlag. ix, 154 p. (1996).
Reviewer: Salma Kuhlmann (Saskatoon)
Automatic theorem proving in field theory using quantifier elimination. (English) Zbl 0863.12006
Reviewer: D.Busneag (Craiova)
Canonical forms for definable subsets of algebraically closed and real closed valued fields. (English) Zbl 0854.12003
Reviewer: S.Kuhlmann (Toronto)
Computing a set of points meeting every cell defined by a family of polynomials on a variety. (English) Zbl 0829.14025
Goldberg, Ken (ed.) et al., Algorithmic foundations of robotics. Proceedings of the workshop on the algorithmic foundations of robotics, WAFR ’94, held in San Francisco, CA, USA, 17-19 February, 1994. Wellesley, MA: A. K. Peters. 537-555 (1995).
Quantifier elimination in pairs of fields. (Élimination des quantificateurs dans des paires de corps.) (French) Zbl 0832.03023
Reviewer: Ch.Michaux (Mons)
Fields and surgery. (Corps et chirurgie.) (French) Zbl 0827.03022
Reviewer: C.Toffalori (Camerino)
Generalized sine equations. I. (English) Zbl 0811.39003
Reviewer: J.Aczél (Waterloo / Ontario)
A noncommutative analogue of Puiseux’s theorem. (Un analogue non commutatif du théorème de Puiseux.) (French) Zbl 0815.16011
Reviewer: P.M.Cohn (London)
Fields: Algebraically closed and others. (English) Zbl 0767.12001
Reviewer: D.Ştefănescu (Bucureşti)
The Henselian closures of a P\(p\)C field. (English) Zbl 0751.12004
Reviewer: Jiří Močkoř (Ostrava)
Involutionen algebraisch abgeschlossener Körper. (Involutions of algebraically closed fields). (German) Zbl 0708.12002
Braunschweig: TU Braunschweig, Diss. 44 p. (1990).
Reviewer: N.Schwartz
Model theoretic algebra: with particular emphasis on fields, rings, modules. (English) Zbl 0728.03026
Algebra, Logic and Applications, 2. New York etc.: Gordon and Breach Science Publishers. xiii, 443 p. (1989).
Reviewer: Hans-Jürgen Vogel (Potsdam)
Definable equivalence relations on algebraically closed fields. (English) Zbl 0689.03019
Reviewer: M.F.Singer
On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving. (English) Zbl 0674.68025
Reviewer: D.Yu.Grigor’ev
On groups and fields definable in o-minimal structures. (English) Zbl 0662.03025
Reviewer: A.Pillay
MSC:
03C60
Halbordnungen und maximale Teilkörper in gelochten algebraisch- abgeschlossenen Körpern. (Half orderings and maximal subfields in algebraically closed fields not containing a given element). (German) Zbl 0606.12013
Coherent sheaves and algebraic vector bundles. (English) Zbl 0599.14016
Reviewer: M.Coste
MSC:
14F05
14Pxx
When one equation solves them all. (English) Zbl 0579.12015
Reviewer: B.Richter
Solvability of infinite systems of polynomial equations over the field of complex numbers. (English) Zbl 0571.12012
Reviewer: G.Csordas
Théories complètes de corps. (French) Zbl 0581.03024
Sémin. gén. de logique, Paris 1982-83, Publ. Math. Univ. Paris VII 19, 123-137 (1984).
Reviewer: C.Berline
The undecidability of pseudo real closed fields. (English) Zbl 0578.12020
Reviewer: C.U.Jensen
Fields regularly closed with respect to finitely many valuations and orderings. (English) Zbl 0555.12008
Quadratic and Hermitian forms, Conf. Hamilton/Ont. 1983, CMS Conf. Proc. 4, 297-336 (1984).
Reviewer: Jiří Močkoř (Ostrava)
A multivariable form of the fundamental theorem of algebra. (English) Zbl 0538.12011
Reviewer: W.B.Müller
Elimination of quantifiers in algebraic structures. (English) Zbl 0531.03016
Reviewer: J.Oikkonen
Generation of \(\mathbb C(x)\) by a restricted set of operations. (English) Zbl 0496.12016
Reviewer: Niels Schwartz (Passau)
Generation of C(x) by a restricted set of operations. (English) Zbl 0457.30040
Prepr. Ser., Aarhus Univ. 1980/81, No. 19, 5 p. (1981).
Nulite de certains groupes de cohomologie des variétés sur un corps non algébriquement clos. (French) Zbl 0425.14001
Dynamic theories of real and complex numbers. (English) Zbl 0393.03014
Math. Found. Comput. Sci. 1978, Proc. 7th Symp. Zakopane, Lect. Notes Comput. Sci. 64, 239-249 (1978).
Filter Results by …
Document Type
- Journal Articles (41)
- Collection Articles (6)
- Books (5)
all
top 5
Author
- Pillay, Anand (3)
- Dupont, Johan L. (2)
- Haskell, Deirdre (2)
- Marker, David E. (2)
- Poulsen, Ebbe Thue (2)
- Toffalori, Carlo (2)
- van den Dries, Lou (2)
- Abian, Alexander (1)
- Basu, Saugata (1)
- Chabauty, Claude (1)
- Chou, Shangching (1)
- Delon, Françoise (1)
- Deschamps, Bruno (1)
- Freund, Rudolf (1)
- Gamboa Mutuberria, José Manuel (1)
- Geyer, Wulf-Dieter (1)
- Golasiński, Marek (1)
- Gröger, Detlef (1)
- Guo, Shiguang (1)
- Halter-Koch, Franz (1)
- Haran, Dan (1)
- Heinemann, Bernhard (1)
- Holly, Jan E. (1)
- Jarden, Moshe (1)
- Jensen, Christian Ulrik (1)
- Jovanović, Aleksandar N. (1)
- Kreczmar, Antoni (1)
- Leloup, Gérard (1)
- Lenzing, Helmut (1)
- Leung, T. W. (1)
- Lombardi, Henri (1)
- Macintyre, Angus John (1)
- Macpherson, Dugald (1)
- Marcja, Annalisa (1)
- Marinari, Maria Grazia (1)
- Matusinski, Mickaël (1)
- McKenna, Kenneth (1)
- Messmer, Margit (1)
- Metakides, George (1)
- Mijajlović, Žarko (1)
- Müller, Simon (1)
- Nerode, Anil (1)
- Odetti, Francesco (1)
- Peterzil, Ya’acov (1)
- Poizat, Bruno Petrovich (1)
- Pollack, Richard M. (1)
- Pottmeyer, Lukas (1)
- Prestel, Alexander (1)
- Raimondo, Mario (1)
- Reich, Ludwig (1)
- Ribenboim, Paulo (1)
- Robbin, Joel William (1)
- Roy, Marie-Françoise (1)
- Salzberg, Pablo M. (1)
- Schnor, Bettina (1)
- Seydi, Hamet (1)
- Shoda, Kenjiro (1)
- Silhol, Robert (1)
- Sinopoulos, Pavlos (1)
- Staiger, Ludwig (1)
- Starchenko, Sergei (1)
- Tanaka, Kazuyuki (1)
- Tognoli, Alberto (1)
- Tucker, John V. (1)
- Tyrrell, Brian (1)
- Vidal, Robert J. (1)
- Waterhouse, William C. (1)
- Yaffe, Yoav (1)
- Yamazaki, Takeshi (1)
- Yang, Jingen (1)
all
top 5
Serial
- J. Symb. Log. (6)
- Am. Math. Mon. (2)
- J. Pure Appl. Algebra (2)
- Manuscr. Math. (2)
- Aequationes Math. (2)
- J. Théor. Nombres Bordx. (2)
- Bull. Aust. Math. Soc. (1)
- Commun. Algebra (1)
- Int. J. Math. Educ. Sci. Technol. (1)
- Abh. Math. Semin. Univ. Hamb. (1)
- Adv. Math. (1)
- Ann. Math. Logic (1)
- Ann. Univ. Ferrara, Nuova Ser., Sez. VII (1)
- Atti Accad. Peloritana Pericolanti, Cl. Sci. Fis. Mat. Nat. (1)
- Can. Math. Bull. (1)
- J. Algebra (1)
- Monatsh. Math. (1)
- Pac. J. Math. (1)
- Topology Appl. (1)
- J. Math. Res. Expo. (1)
- Boll. Unione Mat. Ital., VI. Ser., D, Algebra Geom. (1)
- Ann. Pure Appl. Logic (1)
- Algorithmica (1)
- Filomat (1)
- Sel. Math., New Ser. (1)
- C. R. Acad. Sci., Paris, Sér. I, Math. (1)
- J. Math. Log. (1)
- C. R., Math., Acad. Sci. Paris (1)
- Boll. Unione Mat. Ital., V. Ser., A (1)
- C. R. Acad. Sci., Paris (1)
- Jpn. J. Math. (1)
- Algebra Log. Appl. (1)
- Lect. Notes Log. (1)
- Quad. Unione Mat. Ital. (1)