Local collection and end-extensions of models of compositional truth. (English) Zbl 1473.03047
Reviewer: Roman Kossak (New York)
Found 25 Documents (Results 1–25)
Equivariant noncommutative motives. (English) Zbl 1374.14003
Reviewer: Arvid Siqveland (Kongsberg)
Deformations of the Hilbert scheme of points on a del Pezzo surface. (English) Zbl 1419.14017
Reviewer: Zhenbo Qin (Columbia)
End-extensions of models of weak arithmetic from complexity-theoretic containments. (English) Zbl 1376.03041
Reviewer: M. Yasuhara (Princeton)
Effectivity properties of intuitionistic set theory with collection scheme. (English. Russian original) Zbl 1235.03079
Math. Notes 89, No. 5, 619-632 (2011); translation from Mat. Zametki 89, No. 5, 658-672 (2011).
The limit lemma in fragments of arithmetic. (English) Zbl 1098.03067
Reviewer: Marie Duží (Ostrava)
Independence of the principle of double complement of sets of the collection scheme in set theory with intuitionistic logic. (Russian. English summary) Zbl 0927.03076
Karpenko, A. S. (ed.) et al., Logical investigations. No. 5. Proceedings from the section “Symbolic logic” of the 1st International conference “Smirnov Readings”, Moscow, Russia, March 1997. Moskva: Nauka. 160-162 (1998).
Reviewer: S.P.Odintsov (Novosibirsk)
Replacement \(\nrightarrow\) collection. (English) Zbl 0854.03047
Hájek, Petr (ed.), Gödel ’96. Logical foundations of mathematics, computer science and physics – Kurt Gödel’s legacy. Proceedings of a conference, Brno, Czech Republic, August 1996. Berlin: Springer-Verlag. Lect. Notes Log. 6, 307-322 (1996).
The theory of \(\kappa\)-like models of arithmetic. (English) Zbl 0848.03019
Reviewer: R.Kossak (New York)
A note on a result of Buss concerning bounded theories and the collection scheme. (English) Zbl 0839.03040
A general iterative sparse linear solver and its parallelization for interval Newton methods. (English) Zbl 0837.65052
Reviewer: Liu Xinguo (Qingdao)
Binary models generated by their tally part. (English) Zbl 0803.03039
Reviewer: F.Ferreira (Lisboa)
Maximum schemes in arithmetic. (English) Zbl 0810.03046
Reviewer: R.Kossak (New York)
Preconditioning the Lanczos algorithm for sparse symmetric eigenvalue problems. (English) Zbl 0791.65022
Reviewer: L.Boubelíková (Praha)
Subsets of models of arithmetic. (English) Zbl 0786.03027
Reviewer: R.Kossak (New York)
MSC:
03C62
On a problem concerning parameter free induction. (English) Zbl 0753.03025
Reviewer: R.Kossak (New York)
MSC:
03F30
Solving the compressible Navier-Stokes equations with finite elements using a multifrontal method. (English) Zbl 0699.76080
On parameter free induction schemas. (English) Zbl 0678.03025
Reviewer: R.Kossak
Note on an intermediate induction schema. (English) Zbl 0636.03054
Reviewer: R.Murawski
MSC:
03F30
Parallel implementation of multifrontal schemes. (English) Zbl 0628.65018
Reviewer: R.P.Tewarson
Filter Results by …
Document Type
- Journal Articles (23)
- Collection Articles (2)
all
top 5
Author
- Adamowicz, Zofia (2)
- Ferreira, Fernando (2)
- Kossak, Roman (2)
- Paris, Jeffrey Bruce (2)
- Amestoy, Patrick R. (1)
- Dimitracopoulos, Constantine (1)
- Dubé, Danny (1)
- Duff, Iain S. (1)
- Dumir, P. C. (1)
- Feeley, Marc (1)
- Fernández Margarit, Alejandro (1)
- Frolov, Anna (1)
- Hu, Chenyi (1)
- Kaye, Richard W. (1)
- Kaye, Rick (1)
- Kearfott, Baker (1)
- Khakhanyan, V. Kh. (1)
- Khatri, Kamal N. (1)
- Kołodziejczyk, Leszek Aleksander (1)
- Łełyk, Mateusz Zbigniew (1)
- Li, Chunyi (1)
- Matstoms, Pontus (1)
- Moon, Aeryung (1)
- Morgan, Ronald B. (1)
- Pérez-Jiménez, Mario J. (1)
- Scott, David S. (1)
- Švejdar, Vítězslav (1)
- Tabuada, Gonçalo (1)
- Tilch, Ralf (1)
- Vladimirov, Andrei G. (1)
- Wcisło, Bartosz (1)
- Xu, Yangsheng (1)
- Yang, Qing (1)
- Zarach, Andrzej M. (1)
all
top 5
Serial
- J. Symb. Log. (2)
- Arch. Math. Logic (2)
- Comput. Struct. (1)
- Math. Notes (1)
- Commentat. Math. Univ. Carol. (1)
- J. Comb. Theory, Ser. A (1)
- Notre Dame J. Formal Logic (1)
- Port. Math. (1)
- Z. Math. Logik Grundlagen Math. (1)
- Ann. Pure Appl. Logic (1)
- Parallel Comput. (1)
- IMPACT Comput. Sci. Eng. (1)
- J. Intell. Robot. Syst. (1)
- Comput. Optim. Appl. (1)
- SIAM J. Sci. Comput. (1)
- Math. Log. Q. (1)
- Reliab. Comput. (1)
- High.-Order Symb. Comput. (1)
- Mosc. Math. J. (1)
- Seminarber., Humboldt-Univ. Berlin, Sekt. Math. (1)
- Ann. \(K\)-Theory (1)
