Found 37 Documents (Results 1–37)
A unifying field in logics: neutrosophic logic. Neutrosophy, neutrosophic set, neutrosophic probability. 4th ed. (English) Zbl 1211.03003
Rehoboth: American Research Press (ISBN 978-1-59973-080-6/pbk). 155 p. (2005).
Modelling quaternions. (English) Zbl 1212.12003
Generalization of the Chinese remainder theorem. (Chinese. English summary) Zbl 1124.03322
An uncomparable tool: the ultrafilter. (Un outil incomparable: l’ultrafiltre.) (French. English summary) Zbl 1150.00303
Theories of generalised functions. Distributions, ultradistributions and other generalised functions. Revised edition of the 1994 original. (English) Zbl 1101.46001
Chichester: Horwood Publishing (ISBN 1-898563-98-5/pbk). xii, 293 p. (2005).
Reviewer: Antoine Delcroix (Pointe-a-Pitre)
Diophantine approximation and nonstandard ultrametric distances. (Approximation diophantienne et distances ultramétriques non standard.) (French) Zbl 1166.11024
Reviewer: Michel Waldschmidt (Paris)
Models of Peano arithmetic as modules over initial segments. (English) Zbl 1088.03035
Reviewer: Roman Kossak (New York)
Logics, mathematics, automatic deduction. (Spanish) Zbl 1107.03012
Reviewer: Alfredo Burrieza Muñiz (Málaga)
Cardinality without enumeration. (English) Zbl 1096.03058
Reviewer: Adonai S. Sant’Anna (Curitiba)
On approximation of amenable groups by finite quasigroups. (Russian, English) Zbl 1159.43300
Zap. Nauchn. Semin. POMI 326, 48-58 (2005); translation in J. Math. Sci., New York 140, No. 3, 369-375 (2006).
Introduction to Boolean-valued analysis. (Введение в булевозначный анализ.) (Russian) Zbl 1087.03032
Moskva: Nauka (ISBN 5-02-033710-2/hbk). 525 p. (2005).
Reviewer: Miroslav Repický (Košice)
Ultrafilter semirings and nonstandard submodels of the Stone-Čech compactification of the natural numbers. (English) Zbl 1079.16036
Blass, Andreas (ed.) et al., Logic and its applications. Result of the conference on logic and its applications in algebra and geometry, Ann Arbor, MI, USA, April 11–13, 2003 and the workshop on combinatorial set theory, excellent classes, and Schanuel conjecture, Ann Arbor, MI, USA, April 14–15, 2003. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3474-6/pbk). Contemporary Mathematics 380, 45-51 (2005).
Several proofs of PA-unprovability. (English) Zbl 1084.03045
Blass, Andreas (ed.) et al., Logic and its applications. Result of the conference on logic and its applications in algebra and geometry, Ann Arbor, MI, USA, April 11–13, 2003 and the workshop on combinatorial set theory, excellent classes, and Schanuel conjecture, Ann Arbor, MI, USA, April 14–15, 2003. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3474-6/pbk). Contemporary Mathematics 380, 29-43 (2005).
Models of arithmetic: quantifiers and complexity. (English) Zbl 1082.03037
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, 271-280 (2005).
Reviewer: Roman Kossak (New York)
Weak theories of nonstandard arithmetic and analysis. (English) Zbl 1087.03038
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, 19-46 (2005).
Possible \(m\)-diagrams of models of arithmetic. (English) Zbl 1082.03036
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, 1-18 (2005).
Reviewer: Roman Kossak (New York)
Analysis and numerical simulation of phytoplankton-nutrient systems with nutrient loss. (English) Zbl 1075.92048
A remark on uniform spaces with invariant nonstandard hulls. (English) Zbl 1085.54031
Reviewer: Hermann Render (Logrono)
On transfinite hybrid automata. (English) Zbl 1078.93015
Morari, Manfred (ed.) et al., Hybrid systems: Computation and control. 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9–11, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25108-1/pbk). Lecture Notes in Computer Science 3414, 495-510 (2005).
Nonstandard free objects over pseudovarieties of finite algebraic systems. (English) Zbl 1083.03057
Chajda, I. (ed.) et al., Proceedings of the 68th workshop on general algebra “68. Arbeitstagung Allgemeine Algebra”, Dresden, Germany, June 10–13, 2004 and of the summer school 2004 on general algebra and ordered sets, Malá Morávka, Czech Republic, September 5–11, 2004. Klagenfurt: Verlag Johannes Heyn (ISBN 3-7084-0163-8/pbk). Contributions to General Algebra 16, 145-154 (2005).
Reviewer: S. R. Kogalovskij (Ivanovo)
Enlargements of categories. (English) Zbl 1094.03062
Sequences of degrees associated with models of arithmetic. (English) Zbl 1081.03069
Baaz, Matthias (ed.) et al., Logic colloquium ’01. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL), Vienna, Austria, August 6–11, 2001. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ISBN 1-56881-247-7/hbk; 1-56881-248-5/pbk). Lecture Notes in Logic 20, 217-241 (2005).
Structures interpretable in models of bounded arithmetic. (English) Zbl 1083.03041
Reviewer: Roman Kossak (New York)
On approximation of unimodular groups by finite quasigroups. (English) Zbl 1078.43001
Reviewer: Su Weiyi (Nanjing)
On approximation of topological groups by finite quasigroups and finite semigroups. (English) Zbl 1077.22004
Reviewer: Su Weiyi (Nanjing)
A note on \(\Delta_1\) induction and \(\Sigma_1\) collection. (English) Zbl 1082.03050
Reviewer: Roman Kossak (New York)
Computational structuralism. (English) Zbl 1078.03007
Reviewer: Leon Harkleroad (Wilton)
Operational semantics for timed systems. A non-standard approach to uniform modeling of timed and hybrid systems. (English) Zbl 1070.68087
Lecture Notes in Computer Science 3456. Berlin: Springer (ISBN 3-540-25576-1/pbk). xii, 223 p. (2005).
Fragments of arithmetic and true sentences. (English) Zbl 1067.03064
Reviewer: Roman Kossak (New York)
Topological and nonstandard extensions. (English) Zbl 1073.54015
Reviewer: Paul Bankston (Milwaukee)
The minimal e-degree problem in fragments of Peano arithmetic. (English) Zbl 1068.03050
Reviewer: Roman Kossak (New York)
Characterizing the structure of A when the ratio |2A|/|A| is bounded by 3+epsilon. arXiv:math/0504186
Preprint, arXiv:math/0504186 [math.NT] (2005).
Filter Results by …
Document Type
- Journal Articles (24)
- Collection Articles (8)
- Books (4)
- arXiv Preprints (1)
all
top 5
Author
- Glebsky, Lev Yu. (3)
- Gordon, Evgeniĭ Izrail’evich (3)
- Di Nasso, Mauro (2)
- Forti, Marco (2)
- Knight, Julia F. (2)
- Thapen, Neil (2)
- Arana, Andrew (1)
- Arkeryd, Leif O. (1)
- Arslanov, Marat M. (1)
- Avigad, Jeremy (1)
- Bapna, Ravi (1)
- Bovykin, Andrey I. (1)
- Brünjes, Lars (1)
- Chong, Chi Tat (1)
- Cooper, Stuart Barry (1)
- Cordón-Franco, Andrés (1)
- Delaunay, Sandra (1)
- Dimitrov, Dobromir T. (1)
- Fernández Margarit, Alejandro (1)
- Fusaoka, Akira (1)
- Goes, Paulo B. (1)
- Gupta, Alok Kumar (1)
- Haddad, Labib (1)
- Halbach, Volker (1)
- Horsten, Leon (1)
- Hoskins, R. F. (1)
- Jin, Renling (1)
- Kojouharov, Hristo V. (1)
- Körtesi, Péter (1)
- Kusraev, Anatoliĭ Georgievich (1)
- Kutateladze, Semën Samsonovich (1)
- Lara-Martín, Francisco Felix (1)
- Leibman, George (1)
- Luo, Libo (1)
- Lutz, Robert (1)
- Molchanov, Vladimir A. (1)
- Musio, Monica (1)
- Nakamura, Katsunori (1)
- Ojeda-Aciego, Manuel (1)
- Rubio, Carlos J. (1)
- Rust, Heinrich (1)
- Serpé, Christian (1)
- Smarandache, Florentin Gh. (1)
- Suzuki, Nobuya (1)
- Tzouvaras, Athanassios (1)
- Vakil, Nader (1)
- Vakil, Roozbeh (1)
- Yang, Yue (1)
- Yasumoto, Masahiro (1)
- Yu, Lirong (1)
all
top 5
Serial
- Am. Math. Mon. (2)
- Ill. J. Math. (2)
- Ann. Pure Appl. Logic (2)
- Math. Log. Q. (2)
- Acta Math. Sin. (1)
- Fundam. Math. (1)
- Manage. Sci. (1)
- Math. Comput. Simul. (1)
- Monatsh. Math. (1)
- Stud. Log. (1)
- Tsukuba J. Math. (1)
- Acta Appl. Math. (1)
- Arch. Math. Logic (1)
- Ann. Fac. Sci. Toulouse, Math. (6) (1)
- Tatra Mt. Math. Publ. (1)
- Zap. Nauchn. Semin. POMI (1)
- Theory Appl. Categ. (1)
- Philos. Math. (3) (1)
- Gac. R. Soc. Mat. Esp. (1)
- Lect. Notes Comput. Sci. (1)
- Creat. Math. Inform. (1)
