Cutolo, Raffaella; Hamkins, Joel David Choiceless large cardinals and set-theoretic potentialism. (English) Zbl 1521.03197 Math. Log. Q. 68, No. 4, 409-415 (2022). MSC: 03E55 03E25 03E35 03B45 03C62 PDFBibTeX XMLCite \textit{R. Cutolo} and \textit{J. D. Hamkins}, Math. Log. Q. 68, No. 4, 409--415 (2022; Zbl 1521.03197) Full Text: DOI arXiv
Abdul-Quader, Athar; Schmerl, James H. CP-generic expansions of models of Peano arithmetic. (English) Zbl 1521.03094 Math. Log. Q. 68, No. 2, 171-177 (2022). MSC: 03C62 03H15 PDFBibTeX XMLCite \textit{A. Abdul-Quader} and \textit{J. H. Schmerl}, Math. Log. Q. 68, No. 2, 171--177 (2022; Zbl 1521.03094) Full Text: DOI arXiv
Mariaule, Nathanaël Expansions of Presburger arithmetic with the exchange property. (English) Zbl 1521.03096 Math. Log. Q. 67, No. 4, 409-419 (2021). MSC: 03C62 03F30 PDFBibTeX XMLCite \textit{N. Mariaule}, Math. Log. Q. 67, No. 4, 409--419 (2021; Zbl 1521.03096) Full Text: DOI arXiv
Kirby, Laurence Bounded finite set theory. (English) Zbl 1521.03208 Math. Log. Q. 67, No. 2, 149-163 (2021). MSC: 03E70 03E30 03C62 PDFBibTeX XMLCite \textit{L. Kirby}, Math. Log. Q. 67, No. 2, 149--163 (2021; Zbl 1521.03208) Full Text: DOI
Clemens, John; Coskey, Samuel; Dworetzky, Samuel The classification of countable models of set theory. (English) Zbl 1521.03145 Math. Log. Q. 66, No. 2, 182-189 (2020). MSC: 03E15 03C62 03C15 PDFBibTeX XMLCite \textit{J. Clemens} et al., Math. Log. Q. 66, No. 2, 182--189 (2020; Zbl 1521.03145) Full Text: DOI arXiv
Visser, Albert The small-is-very-small principle. (English) Zbl 1521.03234 Math. Log. Q. 65, No. 4, 453-478 (2019). MSC: 03F30 03C62 03F40 03H15 PDFBibTeX XMLCite \textit{A. Visser}, Math. Log. Q. 65, No. 4, 453--478 (2019; Zbl 1521.03234) Full Text: DOI arXiv
Abdul-Quader, Athar; Kossak, Roman Neutrally expandable models of arithmetic. (English) Zbl 1521.03093 Math. Log. Q. 65, No. 2, 212-217 (2019). MSC: 03C62 PDFBibTeX XMLCite \textit{A. Abdul-Quader} and \textit{R. Kossak}, Math. Log. Q. 65, No. 2, 212--217 (2019; Zbl 1521.03093) Full Text: DOI arXiv
Jeřábek, Emil Rigid models of Presburger arithmetic. (English) Zbl 1521.03225 Math. Log. Q. 65, No. 1, 108-115 (2019). MSC: 03F30 03C62 03H15 06F20 PDFBibTeX XMLCite \textit{E. Jeřábek}, Math. Log. Q. 65, No. 1, 108--115 (2019; Zbl 1521.03225) Full Text: DOI arXiv
McKenzie, Zachiri On the relative strengths of fragments of collection. (English) Zbl 1521.03168 Math. Log. Q. 65, No. 1, 80-94 (2019). MSC: 03E30 03C62 PDFBibTeX XMLCite \textit{Z. McKenzie}, Math. Log. Q. 65, No. 1, 80--94 (2019; Zbl 1521.03168) Full Text: DOI arXiv Link
Glivický, Petr; Pudlák, Pavel A wild model of linear arithmetic and discretely ordered modules. (English) Zbl 1469.03108 Math. Log. Q. 63, No. 6, 501-508 (2017). MSC: 03C62 03F30 03C45 03H15 PDFBibTeX XMLCite \textit{P. Glivický} and \textit{P. Pudlák}, Math. Log. Q. 63, No. 6, 501--508 (2017; Zbl 1469.03108) Full Text: DOI arXiv
Glivický, Petr; Kala, Vítězslav Fermat’s last theorem and Catalan’s conjecture in weak exponential arithmetics. (English) Zbl 1469.03163 Math. Log. Q. 63, No. 3-4, 162-174 (2017). MSC: 03F30 03C62 03H15 11U10 PDFBibTeX XMLCite \textit{P. Glivický} and \textit{V. Kala}, Math. Log. Q. 63, No. 3--4, 162--174 (2017; Zbl 1469.03163) Full Text: DOI arXiv
Fuchs, Gunter; Gitman, Victoria; Hamkins, Joel David Incomparable \(\omega_1\)-like models of set theory. (English) Zbl 1469.03107 Math. Log. Q. 63, No. 1-2, 66-76 (2017). MSC: 03C62 03E35 PDFBibTeX XMLCite \textit{G. Fuchs} et al., Math. Log. Q. 63, No. 1--2, 66--76 (2017; Zbl 1469.03107) Full Text: DOI arXiv
Sinclair, Peter Computable axiomatizability of elementary classes. (English) Zbl 1366.03215 Math. Log. Q. 62, No. 1-2, 46-51 (2016). Reviewer: Roman Kossak (New York) MSC: 03C64 03C52 03C20 12L12 03C62 PDFBibTeX XMLCite \textit{P. Sinclair}, Math. Log. Q. 62, No. 1--2, 46--51 (2016; Zbl 1366.03215) Full Text: DOI arXiv
Shelah, Saharon Models of PA: when two elements are necessarily order automorphic. (English) Zbl 1367.03072 Math. Log. Q. 61, No. 6, 399-417 (2015). Reviewer: Roman Kossak (New York) MSC: 03C62 03C64 03H15 PDFBibTeX XMLCite \textit{S. Shelah}, Math. Log. Q. 61, No. 6, 399--417 (2015; Zbl 1367.03072) Full Text: DOI arXiv
Nurkhaidarov, Ermek Decoding in the automorphism group of a recursively saturated model of arithmetic. (English) Zbl 1364.03051 Math. Log. Q. 61, No. 3, 179-188 (2015). Reviewer: Roman Kossak (New York) MSC: 03C62 03C50 03F30 03C15 PDFBibTeX XMLCite \textit{E. Nurkhaidarov}, Math. Log. Q. 61, No. 3, 179--188 (2015; Zbl 1364.03051) Full Text: DOI
Tzouvaras, Athanassios Totally non-immune sets. (English) Zbl 1370.03052 Math. Log. Q. 61, No. 1-2, 103-116 (2015). Reviewer: M. Yasuhara (Princeton) MSC: 03C52 03C15 03C62 03H15 PDFBibTeX XMLCite \textit{A. Tzouvaras}, Math. Log. Q. 61, No. 1--2, 103--116 (2015; Zbl 1370.03052) Full Text: DOI
Schmerl, James H. Cofinal elementary extensions. (English) Zbl 1325.03040 Math. Log. Q. 60, No. 1-2, 12-20 (2014). Reviewer: Roman Kossak (New York) MSC: 03C64 03C62 PDFBibTeX XMLCite \textit{J. H. Schmerl}, Math. Log. Q. 60, No. 1--2, 12--20 (2014; Zbl 1325.03040) Full Text: DOI
Kaye, Richard The arithmetic of cuts in models of arithmetic. (English) Zbl 1300.03030 Math. Log. Q. 59, No. 4-5, 332-351 (2013). Reviewer: Leszek Aleksander Kołodziejczyk (Warszawa) MSC: 03H15 03C62 PDFBibTeX XMLCite \textit{R. Kaye}, Math. Log. Q. 59, No. 4--5, 332--351 (2013; Zbl 1300.03030) Full Text: DOI
Shelah, Saharon Models of expansions of \(\mathbb N\) with no end extensions. (English) Zbl 1238.03038 Math. Log. Q. 57, No. 4, 341-365 (2011). Reviewer: Roman Kossak (New York) MSC: 03C62 03E35 03E40 PDFBibTeX XMLCite \textit{S. Shelah}, Math. Log. Q. 57, No. 4, 341--365 (2011; Zbl 1238.03038) Full Text: DOI arXiv
Kirby, Laurence Substandard models of finite set theory. (English) Zbl 1220.03025 Math. Log. Q. 56, No. 6, 631-642 (2010). MSC: 03C62 03E20 PDFBibTeX XMLCite \textit{L. Kirby}, Math. Log. Q. 56, No. 6, 631--642 (2010; Zbl 1220.03025) Full Text: DOI
McLaughlin, Thomas G. Some observations on the substructure lattice of a \(\Delta_1\) ultrapower. (English) Zbl 1203.03046 Math. Log. Q. 56, No. 3, 323-330 (2010). Reviewer: Seyed-Mohammad Bagheri (Tehran) MSC: 03C20 03C52 03C62 PDFBibTeX XMLCite \textit{T. G. McLaughlin}, Math. Log. Q. 56, No. 3, 323--330 (2010; Zbl 1203.03046) Full Text: DOI
Shochat, Erez A Galois correspondence for countable short recursively saturated models of PA. (English) Zbl 1193.03063 Math. Log. Q. 56, No. 3, 228-238 (2010). Reviewer: Roman Kossak (New York) MSC: 03C62 PDFBibTeX XMLCite \textit{E. Shochat}, Math. Log. Q. 56, No. 3, 228--238 (2010; Zbl 1193.03063) Full Text: DOI
Nurkhaidarov, Ermek S. Interstitial and pseudo gaps in models of Peano arithmetic. (English) Zbl 1187.03033 Math. Log. Q. 56, No. 2, 198-204 (2010). Reviewer: Roman Kossak (New York) MSC: 03C62 03H15 PDFBibTeX XMLCite \textit{E. S. Nurkhaidarov}, Math. Log. Q. 56, No. 2, 198--204 (2010; Zbl 1187.03033) Full Text: DOI
Asatryan, Gurgen On models of exponentiation. Identities in the HSI-algebra of posets. (English) Zbl 1147.03015 Math. Log. Q. 54, No. 3, 280-287 (2008). Reviewer: Roman Kossak (New York) MSC: 03C05 03C62 03C60 PDFBibTeX XMLCite \textit{G. Asatryan}, Math. Log. Q. 54, No. 3, 280--287 (2008; Zbl 1147.03015) Full Text: DOI
Kaye, Richard Generic cuts in models of arithmetic. (English) Zbl 1138.03031 Math. Log. Q. 54, No. 2, 129-144 (2008). Reviewer: Roman Kossak (New York) MSC: 03C62 03H15 PDFBibTeX XMLCite \textit{R. Kaye}, Math. Log. Q. 54, No. 2, 129--144 (2008; Zbl 1138.03031) Full Text: DOI
Mohsenipour, Shahram A generalization of the Keisler-Morley theorem to recursively saturated ordered structures. (English) Zbl 1118.03026 Math. Log. Q. 53, No. 3, 289-294 (2007). Reviewer: Martin Weese (Potsdam) MSC: 03C55 03C62 PDFBibTeX XMLCite \textit{S. Mohsenipour}, Math. Log. Q. 53, No. 3, 289--294 (2007; Zbl 1118.03026) Full Text: DOI
Ikeda, Kazuma; Tsuboi, Akito Nonstandard models that are definable in models of Peano arithmetic. (English) Zbl 1112.03031 Math. Log. Q. 53, No. 1, 27-37 (2007). MSC: 03C62 03H15 03C40 PDFBibTeX XMLCite \textit{K. Ikeda} and \textit{A. Tsuboi}, Math. Log. Q. 53, No. 1, 27--37 (2007; Zbl 1112.03031) Full Text: DOI
Kotlarski, Henryk; Piekart, Bożena Some variations of the Hardy hierarchy. (English) Zbl 1078.03048 Math. Log. Q. 51, No. 4, 417-434 (2005). MSC: 03F30 05A18 03C62 03F05 PDFBibTeX XMLCite \textit{H. Kotlarski} and \textit{B. Piekart}, Math. Log. Q. 51, No. 4, 417--434 (2005; Zbl 1078.03048) Full Text: DOI
Cordón-Franco, Andrés; Fernández-Margarit, Alejandro; Lara-Martín, F. Félix Fragments of arithmetic and true sentences. (English) Zbl 1067.03064 Math. Log. Q. 51, No. 3, 313-328 (2005). Reviewer: Roman Kossak (New York) MSC: 03F30 03C62 03H15 PDFBibTeX XMLCite \textit{A. Cordón-Franco} et al., Math. Log. Q. 51, No. 3, 313--328 (2005; Zbl 1067.03064) Full Text: DOI Link
Schmerl, James H. Substructure lattices and almost minimal end extensions of models of Peano arithmetic. (English) Zbl 1060.03058 Math. Log. Q. 50, No. 6, 533-539 (2004). Reviewer: Roman Kossak (New York) MSC: 03C62 03H15 06B15 PDFBibTeX XMLCite \textit{J. H. Schmerl}, Math. Log. Q. 50, No. 6, 533--539 (2004; Zbl 1060.03058) Full Text: DOI
Asatryan, Gurgen R. A solution to identities problem in 2-element HSI-algebras. (English) Zbl 1037.03033 Math. Log. Q. 50, No. 2, 175-178 (2004). Reviewer: Roman Kossak (New York) MSC: 03C05 03H15 03C62 11U99 PDFBibTeX XMLCite \textit{G. R. Asatryan}, Math. Log. Q. 50, No. 2, 175--178 (2004; Zbl 1037.03033) Full Text: DOI
Ivanov, Alexandre; Kossak, Roman Automorphism group actions on trees. (English) Zbl 1038.03041 Math. Log. Q. 50, No. 1, 71-76 (2004). Reviewer: Marius Tarnauceanu (Iaşi) MSC: 03C50 20E08 20B27 03C62 PDFBibTeX XMLCite \textit{A. Ivanov} and \textit{R. Kossak}, Math. Log. Q. 50, No. 1, 71--76 (2004; Zbl 1038.03041) Full Text: DOI
Murakami, Masahiko; Tsuboi, Akito Expanding the additive reduct of a model of Peano arithmetic. (English) Zbl 1026.03024 Math. Log. Q. 49, No. 4, 363-368 (2003). Reviewer: Roman Kossak (New York) MSC: 03C62 03H15 PDFBibTeX XMLCite \textit{M. Murakami} and \textit{A. Tsuboi}, Math. Log. Q. 49, No. 4, 363--368 (2003; Zbl 1026.03024) Full Text: DOI
Bigorajska, Teresa Strongly maximal subgroups determined by elements in interstices. (English) Zbl 1017.03042 Math. Log. Q. 49, No. 1, 101-108 (2003). Reviewer: Roman Kossak (New York) MSC: 03H15 03C62 PDFBibTeX XMLCite \textit{T. Bigorajska}, Math. Log. Q. 49, No. 1, 101--108 (2003; Zbl 1017.03042) Full Text: DOI
Ardeshir, Mohammad; Hesaam, Bardyaa Every rooted narrow tree Kripke model of HA is locally PA. (English) Zbl 1011.03044 Math. Log. Q. 48, No. 3, 391-395 (2002). Reviewer: Roman Kossak (New York) MSC: 03F30 03C62 03F55 PDFBibTeX XMLCite \textit{M. Ardeshir} and \textit{B. Hesaam}, Math. Log. Q. 48, No. 3, 391--395 (2002; Zbl 1011.03044) Full Text: DOI
Schmerl, James H. Moving intersticial gaps. (English) Zbl 0997.03036 Math. Log. Q. 48, No. 2, 283-296 (2002). Reviewer: Roman Kossak (New York) MSC: 03C62 03H15 PDFBibTeX XMLCite \textit{J. H. Schmerl}, Math. Log. Q. 48, No. 2, 283--296 (2002; Zbl 0997.03036)
McAllister, Alex M. Bounded Scott set saturation. (English) Zbl 0999.03032 Math. Log. Q. 48, No. 2, 245-259 (2002). Reviewer: Roman Kossak (New York) MSC: 03C50 03C62 03D35 03H15 PDFBibTeX XMLCite \textit{A. M. McAllister}, Math. Log. Q. 48, No. 2, 245--259 (2002; Zbl 0999.03032) Full Text: DOI
Cieśliński, Cezary Heterologicality and imcompleteness. (English) Zbl 0990.03028 Math. Log. Q. 48, No. 1, 105-110 (2002). Reviewer: J.M.Plotkin (East Lansing) MSC: 03C55 03F30 03C62 03E35 PDFBibTeX XMLCite \textit{C. Cieśliński}, Math. Log. Q. 48, No. 1, 105--110 (2002; Zbl 0990.03028) Full Text: DOI
Schmerl, James H. Closed normal subgroups. (English) Zbl 0997.03035 Math. Log. Q. 47, No. 4, 489-492 (2001). Reviewer: Roman Kossak (New York) MSC: 03C62 20B27 03H15 PDFBibTeX XMLCite \textit{J. H. Schmerl}, Math. Log. Q. 47, No. 4, 489--492 (2001; Zbl 0997.03035) Full Text: DOI
D’Aquino, Paola Quotient fields of a model of \(I\Delta_0+\Omega_1\). (English) Zbl 0990.03056 Math. Log. Q. 47, No. 3, 305-314 (2001). Reviewer: M.Yasuhara (Princeton) MSC: 03H15 03C62 03C20 03F30 PDFBibTeX XMLCite \textit{P. D'Aquino}, Math. Log. Q. 47, No. 3, 305--314 (2001; Zbl 0990.03056) Full Text: DOI
Kaye, Richard; Kotlarski, Henryk On models constructed by means of the arithmetized completeness theorem. (English) Zbl 0963.03061 Math. Log. Q. 46, No. 4, 505-516 (2000). Reviewer: Roman Kossak (New York) MSC: 03C62 03H15 PDFBibTeX XMLCite \textit{R. Kaye} and \textit{H. Kotlarski}, Math. Log. Q. 46, No. 4, 505--516 (2000; Zbl 0963.03061) Full Text: DOI
Kotlarski, Henryk; Piekart, Bożena Automorphisms of models of true arithmetic: More on subgroups which extend to a maximal one uniquely. (English) Zbl 0941.03036 Math. Log. Q. 46, No. 1, 111-120 (2000). Reviewer: R.Kossak (New York) MSC: 03C62 03C50 03F30 PDFBibTeX XMLCite \textit{H. Kotlarski} and \textit{B. Piekart}, Math. Log. Q. 46, No. 1, 111--120 (2000; Zbl 0941.03036) Full Text: DOI
Kanovei, Vladimir; Reeken, Michael Special model axiom in nonstandard set theory. (English) Zbl 0931.03076 Math. Log. Q. 45, No. 3, 371-384 (1999). Reviewer: R.A.Herrmann (Annapolis) MSC: 03H05 03C62 03E35 03E70 PDFBibTeX XMLCite \textit{V. Kanovei} and \textit{M. Reeken}, Math. Log. Q. 45, No. 3, 371--384 (1999; Zbl 0931.03076) Full Text: DOI
Johannsen, Jan A remark on independence results for sharply bounded arithmetic. (English) Zbl 0920.03058 Math. Log. Q. 44, No. 4, 568-570 (1998). Reviewer: R.Kossak (New York) MSC: 03F30 03C62 03H15 PDFBibTeX XMLCite \textit{J. Johannsen}, Math. Log. Q. 44, No. 4, 568--570 (1998; Zbl 0920.03058) Full Text: DOI
Kuroda, Satoru On a theory for \(\text{AC}^0\) and the strength of the induction scheme. (English) Zbl 0905.03039 Math. Log. Q. 44, No. 3, 417-426 (1998). Reviewer: R.Kossak (New York) MSC: 03F30 68Q15 03C62 03D10 PDFBibTeX XMLCite \textit{S. Kuroda}, Math. Log. Q. 44, No. 3, 417--426 (1998; Zbl 0905.03039) Full Text: DOI
Johannsen, Jan A model-theoretic property of sharply bounded formulae, with some applications. (English) Zbl 0899.03042 Math. Log. Q. 44, No. 2, 205-215 (1998). Reviewer: R.Kossak (New York) MSC: 03F30 03C62 03H15 PDFBibTeX XMLCite \textit{J. Johannsen}, Math. Log. Q. 44, No. 2, 205--215 (1998; Zbl 0899.03042) Full Text: DOI
Di Nasso, Mauro Linearly stratified models for the foundations of nonstandard mathematics. (English) Zbl 0891.03035 Math. Log. Q. 44, No. 1, 138-142 (1998). Reviewer: W.A.J.Luxemburg (Pasadena) MSC: 03H99 03C20 03C62 03E55 PDFBibTeX XMLCite \textit{M. Di Nasso}, Math. Log. Q. 44, No. 1, 138--142 (1998; Zbl 0891.03035) Full Text: DOI
Bamber, Nicholas; Kotlarski, Henryk On interstices of countable arithmetically saturated models of Peano arithmetic. (English) Zbl 0884.03042 Math. Log. Q. 43, No. 4, 525-540 (1997). Reviewer: R.Kossak (New York) MSC: 03C62 03C50 03H15 PDFBibTeX XMLCite \textit{N. Bamber} and \textit{H. Kotlarski}, Math. Log. Q. 43, No. 4, 525--540 (1997; Zbl 0884.03042) Full Text: DOI
Zambella, Domenico Forcing in finite structures. (English) Zbl 0880.03020 Math. Log. Q. 43, No. 3, 401-412 (1997). Reviewer: R.Kossak (New York) MSC: 03C62 03F35 03H15 03C13 PDFBibTeX XMLCite \textit{D. Zambella}, Math. Log. Q. 43, No. 3, 401--412 (1997; Zbl 0880.03020) Full Text: DOI
Ferreira, Fernando On end-extensions of models of \(\neg \exp\). (English) Zbl 0842.03041 Math. Log. Q. 42, No. 1, 1-18 (1996). Reviewer: R.Kossak (New York) MSC: 03F30 03C62 68Q15 PDFBibTeX XMLCite \textit{F. Ferreira}, Math. Log. Q. 42, No. 1, 1--18 (1996; Zbl 0842.03041) Full Text: DOI
Michalski, Grzegorz Relatively recursively enumerable versus relatively \(\Sigma_ 1\) in models of Peano arithmetic. (English) Zbl 0837.03038 Math. Log. Q. 41, No. 4, 515-522 (1995). MSC: 03D99 03F30 03H15 03C62 PDFBibTeX XMLCite \textit{G. Michalski}, Math. Log. Q. 41, No. 4, 515--522 (1995; Zbl 0837.03038) Full Text: DOI
Kotlarski, Henryk; Piekart, Bożena Automorphisms of countable recursively saturated models of PA: Open subgroups and invariant cuts. (English) Zbl 0816.03018 Math. Log. Q. 41, No. 1, 138-142 (1995). Reviewer: R.Kossak (New York) MSC: 03C62 03C50 20B27 PDFBibTeX XMLCite \textit{H. Kotlarski} and \textit{B. Piekart}, Math. Log. Q. 41, No. 1, 138--142 (1995; Zbl 0816.03018) Full Text: DOI
Tzouvaras, Athanassios Omega- and beta-models of alternative set theory. (English) Zbl 0813.03035 Math. Log. Q. 40, No. 4, 547-569 (1994). Reviewer: V.Novák (Ostrava) MSC: 03E70 03C62 03F35 03H15 PDFBibTeX XMLCite \textit{A. Tzouvaras}, Math. Log. Q. 40, No. 4, 547--569 (1994; Zbl 0813.03035) Full Text: DOI
Bigorajska, Teresa Universal induction and true universal arithmetic. (English) Zbl 0805.03026 Math. Log. Q. 40, No. 1, 103-105 (1994). MSC: 03C62 PDFBibTeX XMLCite \textit{T. Bigorajska}, Math. Log. Q. 40, No. 1, 103--105 (1994; Zbl 0805.03026) Full Text: DOI
Kotlarski, Henryk; Piekart, Bożena Automorphisms of models of true arithmetic: Subgroups which extend to a maximal subgroup uniquely. (English) Zbl 0806.03026 Math. Log. Q. 40, No. 1, 95-102 (1994). MSC: 03C62 03C50 PDFBibTeX XMLCite \textit{H. Kotlarski} and \textit{B. Piekart}, Math. Log. Q. 40, No. 1, 95--102 (1994; Zbl 0806.03026) Full Text: DOI
Sochor, Antonín Choices of convenient sets. (English) Zbl 0805.03025 Math. Log. Q. 40, No. 1, 51-60 (1994). MSC: 03C62 03E70 03C50 PDFBibTeX XMLCite \textit{A. Sochor}, Math. Log. Q. 40, No. 1, 51--60 (1994; Zbl 0805.03025) Full Text: DOI
Prati, Nando A partial model of NF with ZF. (English) Zbl 0807.03035 Math. Log. Q. 39, No. 2, 274-278 (1993). Reviewer: A.Tzouvaras (Thessaloniki) MSC: 03E70 03C62 PDFBibTeX XMLCite \textit{N. Prati}, Math. Log. Q. 39, No. 2, 274--278 (1993; Zbl 0807.03035) Full Text: DOI
Marković, Zoran On the structure of Kripke models of Heyting arithmetic. (English) Zbl 0805.03050 Math. Log. Q. 39, No. 4, 531-538 (1993). MSC: 03F30 03F55 03C62 PDFBibTeX XMLCite \textit{Z. Marković}, Math. Log. Q. 39, No. 4, 531--538 (1993; Zbl 0805.03050) Full Text: DOI
McLaughlin, Thomas A note on effective ultrapowers: Uniform failure of bounded collection. (English) Zbl 0805.03051 Math. Log. Q. 39, No. 4, 431-435 (1993). MSC: 03F30 03C62 PDFBibTeX XMLCite \textit{T. McLaughlin}, Math. Log. Q. 39, No. 4, 431--435 (1993; Zbl 0805.03051) Full Text: DOI