Kossak, Roman; Kotlarski, Henryk Game approximations of satisfaction classes and the problem of rather classless models. (English) Zbl 0801.03029 Z. Math. Logik Grundlagen Math. 38, No. 1, 21-26 (1992). Reviewer: A.Enayat (Washington) MSC: 03C62 03H15 × Cite Format Result Cite Review PDF Full Text: DOI
Nishimura, Hirokazu Some connections between Boolean valued analysis and topological reduction theory for \(C^*\)-algebras. (English) Zbl 0703.46040 Z. Math. Logik Grundlagen Math. 36, No. 5, 471-479 (1990). Reviewer: H.Nishimura MSC: 46L05 46S20 03C90 46H25 × Cite Format Result Cite Review PDF Full Text: DOI
Murawski, Roman Some properties of the family of expansions to models of \(A^ -_ 2|{}\Delta{}^ 1_ 1+\Sigma{}^ 1_ 1\)-\(AC\). (English) Zbl 0746.03035 Z. Math. Logik Grundlagen Math. 37, No. 3, 265-272 (1991). Reviewer: R.Kossak (Warszawa) MSC: 03C62 03H15 03C15 × Cite Format Result Cite Review PDF Full Text: DOI
Insall, Matt Nonstandard methods and finiteness conditions in algebra. (English) Zbl 0741.03029 Z. Math. Logik Grundlagen Math. 37, No. 6, 525-532 (1991). Reviewer: M.Insall MSC: 03H05 08A62 08B99 08A05 08B25 × Cite Format Result Cite Review PDF Full Text: DOI
Bertossi, Leopoldo E. The outer capacity of an internal set function. (English) Zbl 0759.03028 Z. Math. Logik Grundlagen Math. 37, No. 6, 571-573 (1991). Reviewer: L.E.Bertossi MSC: 03H05 31A15 60A99 28E05 × Cite Format Result Cite Review PDF
Kuzichev, Andrei A. Church-Rosser property for some extensions of \(\lambda{}\beta\)- reducibility relation. (English) Zbl 0759.03010 Z. Math. Logik Grundlagen Math. 37, No. 6, 547-559 (1991). Reviewer: A.A.Kuzichev MSC: 03B40 03H15 × Cite Format Result Cite Review PDF Full Text: DOI
Gehrke, Mai; Insall, Matt; Kaiser, Klaus Some nonstandard methods applied to distributive lattices. (English) Zbl 0711.03031 Z. Math. Logik Grundlagen Math. 36, No. 2, 123-131 (1990). Reviewer: R.A.Herrmann MSC: 03H05 06D99 × Cite Format Result Cite Review PDF Full Text: DOI
Kotlarski, Henryk On the end extension problem for \(\Delta _ 0\)-PA(S). (English) Zbl 0692.03035 Z. Math. Logik Grundlagen Math. 35, No. 5, 391-397 (1989). Reviewer: R.Kossak MSC: 03H15 03F30 03C62 × Cite Format Result Cite Review PDF Full Text: DOI
Kaye, Richard Parameter-free universal induction. (English) Zbl 0661.03053 Z. Math. Logik Grundlagen Math. 35, No. 5, 443-456 (1989). Reviewer: R.Kaye MSC: 03H15 × Cite Format Result Cite Review PDF Full Text: DOI
Zahn, Peter Supplements to “A predicative approach to nonstandard mathematics”. (English) Zbl 0654.03055 Z. Math. Logik Grundlagen Math. 35, No. 3, 269-271 (1989). Reviewer: P.Zahn MSC: 03H05 03F99 × Cite Format Result Cite Review PDF Full Text: DOI
Adamowicz, Zofia; Kossak, Roman A note on \(B\Sigma _ n\) and an intermediate induction schema. (English) Zbl 0685.03041 Z. Math. Logik Grundlagen Math. 34, No. 3, 261-264 (1988). Reviewer: R.Kossak MSC: 03F30 03H15 × Cite Format Result Cite Review PDF Full Text: DOI
Richardson, Daniel Non standard models of the theory of elementary functions of a real variable. (English) Zbl 0658.03045 Z. Math. Logik Grundlagen Math. 34, No. 4, 355-372 (1988). Reviewer: R.Živaljević MSC: 03H05 26E35 × Cite Format Result Cite Review PDF Full Text: DOI
Sochor, A. Extendability of functions on models of \(ZF_{Fin}\). (English) Zbl 0653.03036 Z. Math. Logik Grundlagen Math. 34, No. 4, 309-315 (1988). Reviewer: K.Čuda MSC: 03E70 03C62 03H15 03C20 × Cite Format Result Cite Review PDF Full Text: DOI
Dimitracopoulos, C.; Paris, J. A note on a theorem of H. Friedman. (English) Zbl 0613.03013 Z. Math. Logik Grundlagen Math. 34, No. 1, 13-17 (1988). MSC: 03C62 03H15 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
Garro, Ibrahim Nonstandard models for a fragment of the artihmetic and their decision problem. (English) Zbl 0613.03014 Z. Math. Logik Grundlagen Math. 33, 481-483 (1987). MSC: 03C62 03H15 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
Zahn, Peter A predicative approach to nonstandard mathematics. (English) Zbl 0602.03016 Z. Math. Logik Grundlagen Math. 33, 85-96 (1987). MSC: 03F99 03H99 × Cite Format Result Cite Review PDF Full Text: DOI
Kotlarski, Henryk Bounded induction and satisfaction classes. (English) Zbl 0622.03025 Z. Math. Logik Grundlagen Math. 32, 531-544 (1986). Reviewer: R.Kossak MSC: 03H15 03C62 × Cite Format Result Cite Review PDF Full Text: DOI
Kotlarski, Henryk The recursively saturated part of models of Peano arithmetic. (English) Zbl 0622.03024 Z. Math. Logik Grundlagen Math. 32, 365-370 (1986). Reviewer: R.Kossak MSC: 03C62 03H15 × Cite Format Result Cite Review PDF Full Text: DOI
Murawski, Roman Some more remarks on expandability of initial segments. (English) Zbl 0584.03045 Z. Math. Logik Grundlagen Math. 32, 445-450 (1986). MSC: 03H15 × Cite Format Result Cite Review PDF Full Text: DOI
Dimitracopoulos, C.; Paris, J. The pigeonhole principle and fragments of arithmetic. (English) Zbl 0571.03028 Z. Math. Logik Grundlagen Math. 32, 73-80 (1986). MSC: 03F30 03H15 × Cite Format Result Cite Review PDF Full Text: DOI
Dimitracopoulos, C. A generalization of a theorem of H. Friedman. (English) Zbl 0579.03024 Z. Math. Logik Grundlagen Math. 31, 221-225 (1985). Reviewer: R.Kossak MSC: 03C62 03H15 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
Pudlák, P.; Sochor, A. Elementary extensions of models of the alternative set theory. (English) Zbl 0578.03028 Z. Math. Logik Grundlagen Math. 31, 309-316 (1985). Reviewer: K.Čuda MSC: 03E70 03H15 × Cite Format Result Cite Review PDF Full Text: DOI
Goodyear, Paul Double enlargements of topological spaces. (English) Zbl 0587.54066 Z. Math. Logik Grundlagen Math. 30, 389-392 (1984). Reviewer: J.Močkoř MSC: 54J05 54E15 03H99 × Cite Format Result Cite Review PDF Full Text: DOI
Csirmaz, L.; Paris, J. B. A property of 2-sorted Peano models and program verification. (English) Zbl 0564.03049 Z. Math. Logik Grundlagen Math. 30, 325-334 (1984). MSC: 03H15 68Q60 03B10 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Seremet, Zofia On automorphisms of resplendent models of arithmetic. (English) Zbl 0564.03032 Z. Math. Logik Grundlagen Math. 30, 349-352 (1984). MSC: 03C62 03H15 × Cite Format Result Cite Review PDF Full Text: DOI
Döpp, Klemens Filterkonvergenz der Nichtstandard-Analysis bei nichtelementaren Funktionen. (German) Zbl 0555.03034 Z. Math. Logik Grundlagen Math. 30, 353-384 (1984). MSC: 03H05 26E35 × Cite Format Result Cite Review PDF Full Text: DOI
Sain, Ildikó Structured nonstandard dynamic logic. (English) Zbl 0552.68034 Z. Math. Logik Grundlagen Math. 30, 481-497 (1984). Reviewer: L.Brim MSC: 68Q65 03B45 03H99 × Cite Format Result Cite Review PDF Full Text: DOI
Döpp, Klemens Filterkonvergenz in der Nichtstandard-Analysis. (English) Zbl 0538.03054 Z. Math. Logik Grundlagen Math. 30, 21-44 (1984). MSC: 03H05 26E35 × Cite Format Result Cite Review PDF Full Text: DOI
Murawski, Roman Trace expansions of initial segments. (English) Zbl 0536.03051 Z. Math. Logik Grundlagen Math. 30, 471-476 (1984). MSC: 03H15 × Cite Format Result Cite Review PDF Full Text: DOI
Cutland, Nigel J. A question of Borel hyperdeterminacy. (English) Zbl 0526.90103 Z. Math. Logik Grundlagen Math. 30, 313-316 (1984). MSC: 91A05 03E60 03H99 03E50 × Cite Format Result Cite Review PDF Full Text: DOI
Buff, Hans Walter \(\omega\)-Konservativität der Nonstandardmengenlehre von Nelson bezüglich \(ZF+Kompaktheitssatz\). (German) Zbl 0519.03042 Z. Math. Logik Grundlagen Math. 30, 133-144 (1984). MSC: 03E35 03H99 × Cite Format Result Cite Review PDF Full Text: DOI
Hatcher, William S.; Laflamme, Claude On the order structure of the hyperreal line. (English) Zbl 0537.03050 Z. Math. Logik Grundlagen Math. 29, 197-202 (1983). Reviewer: K.Čuda MSC: 03H05 26E35 × Cite Format Result Cite Review PDF Full Text: DOI
Levitz, Hilbert Calculation of an order type: An application of non-standard methods. (English) Zbl 0522.03057 Z. Math. Logik Grundlagen Math. 28, 219-228 (1982). MSC: 03H15 11U10 06F25 × Cite Format Result Cite Review PDF Full Text: DOI
Jones, C. K. R. T.; Kelemen, P. J. The sigma-calculus. (English) Zbl 0469.03049 Z. Math. Logik Grundlagen Math. 27, 97-110 (1981). MSC: 03H05 26E35 × Cite Format Result Cite Review PDF Full Text: DOI
Murawski, Roman Some remarks on the structure of expansions. (English) Zbl 0444.03037 Z. Math. Logik Grundlagen Math. 26, 537-546 (1980). MSC: 03H15 × Cite Format Result Cite Review PDF Full Text: DOI
Sonenberg, E. A. Non-standard models of ordinal arithmetics. (English) Zbl 0437.03038 Z. Math. Logik Grundlagen Math. 25, 5-27 (1979). MSC: 03H99 03E10 × Cite Format Result Cite Review PDF Full Text: DOI
Herrmann, Robert A. The nonstandard theory of semi-uniform spaces. (English) Zbl 0468.54037 Z. Math. Logik Grundlagen Math. 24, 237-256 (1978). MSC: 54J05 54E15 03H99 × Cite Format Result Cite Review PDF Full Text: DOI
Potthoff, K. Orderings of types of countable arithmetic. (English) Zbl 0414.03040 Z. Math. Logik Grundlagen Math. 24, 97-108 (1978). MSC: 03H15 03C20 03C15 × Cite Format Result Cite Review PDF Full Text: DOI
Herrmann, Robert A. A nonstandard generalization for perfect maps. (English) Zbl 0399.03055 Z. Math. Logik Grundlagen Math. 23, 223-236 (1977). MSC: 03H99 54C10 54J05 54D30 × Cite Format Result Cite Review PDF Full Text: DOI
Bernstein, Allen R. A non-standard integration theory for unbounded functions. (English) Zbl 0399.03054 Z. Math. Logik Grundlagen Math. 20, 97-108 (1974). MSC: 03H05 26E35 28A99 × Cite Format Result Cite Review PDF Full Text: DOI
Schmid, Jürg Completing Boolean algebras by nonstandard methods. (English) Zbl 0301.02060 Z. Math. Logik Grundlagen Math. 20, 47-48 (1974). MSC: 03H99 03G05 06E05 × Cite Format Result Cite Review PDF Full Text: DOI
Bernstein, Allen R. The spectral theorem - a non-standard approach. (English) Zbl 0268.02040 Z. Math. Logik Grundlagen Math. 18, 419-434 (1972). MSC: 03H99 47A10 × Cite Format Result Cite Review PDF Full Text: DOI
Howard, Paul E. A proof of a theorem of Tennenbaum. (English) Zbl 0251.02053 Z. Math. Logik Grundlagen Math. 18, 111-112 (1972). MSC: 03C68 03H99 03C60 × Cite Format Result Cite Review PDF Full Text: DOI