Rosický, Jiří Minimal accessible categories. (English) Zbl 1471.18006 Theory Appl. Categ. 36, 280-287 (2021). Reviewer: Amit Kuber (Kanpur) MSC: 18C35 03C48 PDF BibTeX XML Cite \textit{J. Rosický}, Theory Appl. Categ. 36, 280--287 (2021; Zbl 1471.18006) Full Text: arXiv Link OpenURL
Castiblanco, Fabiana; Schlicht, Philipp Preserving levels of projective determinacy by tree forcings. (English) Zbl 07327739 Ann. Pure Appl. Logic 172, No. 4, Article ID 102918, 34 p. (2021). MSC: 03E15 03E45 03E55 03E57 03E60 PDF BibTeX XML Cite \textit{F. Castiblanco} and \textit{P. Schlicht}, Ann. Pure Appl. Logic 172, No. 4, Article ID 102918, 34 p. (2021; Zbl 07327739) Full Text: DOI arXiv OpenURL
Chernikov, Artem; Palacin, Daniel; Takeuchi, Kota On \(n\)-dependence. (English) Zbl 07096536 Notre Dame J. Formal Logic 60, No. 2, 195-214 (2019). MSC: 03C45 05C55 PDF BibTeX XML Cite \textit{A. Chernikov} et al., Notre Dame J. Formal Logic 60, No. 2, 195--214 (2019; Zbl 07096536) Full Text: DOI arXiv Euclid OpenURL
Bingham, Nicholas H.; Ostaszewski, Adam J. Set theory and the analyst. (English) Zbl 07066422 Eur. J. Math. 5, No. 1, 2-48 (2019). MSC: 03E15 03E25 03E30 03E35 03E55 01A60 01A61 PDF BibTeX XML Cite \textit{N. H. Bingham} and \textit{A. J. Ostaszewski}, Eur. J. Math. 5, No. 1, 2--48 (2019; Zbl 07066422) Full Text: DOI arXiv OpenURL
Gasarch, William; Ulrich, Douglas Distinct volume subsets via indiscernibles. (English) Zbl 1477.03236 Arch. Math. Logic 58, No. 3-4, 469-483 (2019). MSC: 03E75 03E05 05D10 03C98 PDF BibTeX XML Cite \textit{W. Gasarch} and \textit{D. Ulrich}, Arch. Math. Logic 58, No. 3--4, 469--483 (2019; Zbl 1477.03236) Full Text: DOI arXiv OpenURL
Guingona, Vincent; Hill, Cameron Donnay On positive local combinatorial dividing-lines in model theory. (English) Zbl 1477.03133 Arch. Math. Logic 58, No. 3-4, 289-323 (2019). MSC: 03C45 03C64 03C20 03C68 PDF BibTeX XML Cite \textit{V. Guingona} and \textit{C. D. Hill}, Arch. Math. Logic 58, No. 3--4, 289--323 (2019; Zbl 1477.03133) Full Text: DOI arXiv OpenURL
Forti, Marco A topological interpretation of three Leibnizian principles within the functional extensions. (English) Zbl 1453.03073 Log. Methods Comput. Sci. 14, No. 3, Paper No. 5, 11 p. (2018). MSC: 03H05 03A05 PDF BibTeX XML Cite \textit{M. Forti}, Log. Methods Comput. Sci. 14, No. 3, Paper No. 5, 11 p. (2018; Zbl 1453.03073) Full Text: DOI arXiv OpenURL
Button, Tim Grades of discrimination: indiscernibility, symmetry, and relativity. (English) Zbl 1386.00057 Notre Dame J. Formal Logic 58, No. 4, 527-553 (2017); erratum ibid. 59, No. 1, 135-138 (2018). MSC: 00A30 03C40 03C99 PDF BibTeX XML Cite \textit{T. Button}, Notre Dame J. Formal Logic 58, No. 4, 527--553 (2017; Zbl 1386.00057) Full Text: DOI arXiv Link OpenURL
Mitchell, William J. The sharp for the Chang model is small. (English) Zbl 1417.03263 Arch. Math. Logic 56, No. 7-8, 935-982 (2017). MSC: 03E35 03E45 03E55 PDF BibTeX XML Cite \textit{W. J. Mitchell}, Arch. Math. Logic 56, No. 7--8, 935--982 (2017; Zbl 1417.03263) Full Text: DOI arXiv OpenURL
Vasey, Sebastien Saturation and solvability in abstract elementary classes with amalgamation. (English) Zbl 1387.03031 Arch. Math. Logic 56, No. 5-6, 671-690 (2017). Reviewer: M. Yasuhara (Princeton) MSC: 03C48 03C45 03C52 03C55 03C75 03E55 PDF BibTeX XML Cite \textit{S. Vasey}, Arch. Math. Logic 56, No. 5--6, 671--690 (2017; Zbl 1387.03031) Full Text: DOI arXiv OpenURL
Guingona, Vincent; Hill, Cameron Donnay; Scow, Lynn Characterizing model-theoretic dividing lines via collapse of generalized indiscernibles. (English) Zbl 1422.03069 Ann. Pure Appl. Logic 168, No. 5, 1091-1111 (2017). MSC: 03C45 03C64 03C20 03C68 PDF BibTeX XML Cite \textit{V. Guingona} et al., Ann. Pure Appl. Logic 168, No. 5, 1091--1111 (2017; Zbl 1422.03069) Full Text: DOI arXiv OpenURL
Chernikov, Artem; Ramsey, Nicholas On model-theoretic tree properties. (English) Zbl 1402.03043 J. Math. Log. 16, No. 2, Article ID 1650009, 41 p. (2016). MSC: 03C45 03C65 05C55 05C05 PDF BibTeX XML Cite \textit{A. Chernikov} and \textit{N. Ramsey}, J. Math. Log. 16, No. 2, Article ID 1650009, 41 p. (2016; Zbl 1402.03043) Full Text: DOI arXiv OpenURL
Scow, Lynn Indiscernibles, EM-types, and Ramsey classes of trees. (English) Zbl 1334.03035 Notre Dame J. Formal Logic 56, No. 3, 429-447 (2015). MSC: 03C50 03C52 05C55 PDF BibTeX XML Cite \textit{L. Scow}, Notre Dame J. Formal Logic 56, No. 3, 429--447 (2015; Zbl 1334.03035) Full Text: DOI arXiv OpenURL
Dimitriou, Ioanna M. Sets of good indiscernibles and Chang conjectures without choice. (English) Zbl 1358.03072 Geschke, Stefan (ed.) et al., Infinity, computability and metamathematics. Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch. London: College Publications (ISBN 978-1-84890-130-8/hbk). 113-137 (2014). MSC: 03E35 03E55 03E45 03E25 PDF BibTeX XML Cite \textit{I. M. Dimitriou}, in: Infinity, computability and metamathematics. Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch. London: College Publications. 113--137 (2014; Zbl 1358.03072) OpenURL
Catren, Gabriel; Page, Julien On the notions of indiscernibility and indeterminacy in the light of the Galois-Grothendieck theory. (English) Zbl 1338.12003 Synthese 191, No. 18, 4377-4408 (2014). MSC: 12F10 03A05 18A99 81P10 PDF BibTeX XML Cite \textit{G. Catren} and \textit{J. Page}, Synthese 191, No. 18, 4377--4408 (2014; Zbl 1338.12003) Full Text: DOI OpenURL
Shiver, Anthony Mereological bundle theory and the identity of indiscernibles. (English) Zbl 1310.03009 Synthese 191, No. 5, 901-913 (2014). MSC: 03A05 PDF BibTeX XML Cite \textit{A. Shiver}, Synthese 191, No. 5, 901--913 (2014; Zbl 1310.03009) Full Text: DOI OpenURL
Friedman, Sy-David Consistency of the Silver dichotomy in generalised Baire space. (English) Zbl 1341.03065 Fundam. Math. 227, No. 2, 179-186 (2014). MSC: 03E15 03E35 03E45 03E55 PDF BibTeX XML Cite \textit{S.-D. Friedman}, Fundam. Math. 227, No. 2, 179--186 (2014; Zbl 1341.03065) Full Text: DOI OpenURL
Montalbán, Antonio A fixed point for the jump operator on structures. (English) Zbl 1305.03036 J. Symb. Log. 78, No. 2, 425-438 (2013). Reviewer: Valery Plisko (Moskva) MSC: 03C57 03F35 PDF BibTeX XML Cite \textit{A. Montalbán}, J. Symb. Log. 78, No. 2, 425--438 (2013; Zbl 1305.03036) Full Text: DOI arXiv Euclid OpenURL
McCallum, Rupert A consistency proof for some restrictions of Tait’s reflection principles. (English) Zbl 1270.03102 Math. Log. Q. 59, No. 1-2, 112-118 (2013). MSC: 03E55 PDF BibTeX XML Cite \textit{R. McCallum}, Math. Log. Q. 59, No. 1--2, 112--118 (2013; Zbl 1270.03102) Full Text: DOI arXiv OpenURL
Kozen, Dexter New. (English) Zbl 1342.68090 Berger, Ulrich (ed.) et al., Proceedings of the 28th conference on the mathematical foundations of programming semantics (MFPS XXVIII), Bath, UK, June 6–9, 2012. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 286, 17-42 (2012). MSC: 68N30 68N18 68N19 68Q55 PDF BibTeX XML Cite \textit{D. Kozen}, Electron. Notes Theor. Comput. Sci. 286, 17--42 (2012; Zbl 1342.68090) Full Text: DOI OpenURL
De Clercq, Rafael On some putative graph-theoretic counterexamples to the principle of the identity of indiscernibles. (English) Zbl 1275.00020 Synthese 187, No. 2, 661-672 (2012). MSC: 00A30 05C99 PDF BibTeX XML Cite \textit{R. De Clercq}, Synthese 187, No. 2, 661--672 (2012; Zbl 1275.00020) Full Text: DOI OpenURL
Puzarenko, V. G. Countably categorical theories. (English. Russian original) Zbl 1272.03144 Algebra Logic 51, No. 3, 241-258 (2012); translation from Algebra Logika 51, No. 3, 358-384 (2012). Reviewer: M. Yasuhara (Princeton) MSC: 03C35 03B25 03C30 03C64 PDF BibTeX XML Cite \textit{V. G. Puzarenko}, Algebra Logic 51, No. 3, 241--258 (2012; Zbl 1272.03144); translation from Algebra Logika 51, No. 3, 358--384 (2012) Full Text: DOI OpenURL
Scow, Lynn Characterization of NIP theories by ordered graph-indiscernibles. (English) Zbl 1260.03066 Ann. Pure Appl. Logic 163, No. 11, 1624-1641 (2012). Reviewer: Carlo Toffalori (Camerino) MSC: 03C45 03C68 05C55 PDF BibTeX XML Cite \textit{L. Scow}, Ann. Pure Appl. Logic 163, No. 11, 1624--1641 (2012; Zbl 1260.03066) Full Text: DOI arXiv OpenURL
Baldwin, John T.; Shelah, Saharon The stability spectrum for classes of atomic models. (English) Zbl 1255.03038 J. Math. Log. 12, No. 1, 1250001, 19 p. (2012). Reviewer: Carlo Toffalori (Camerino) MSC: 03C45 03C75 PDF BibTeX XML Cite \textit{J. T. Baldwin} and \textit{S. Shelah}, J. Math. Log. 12, No. 1, 1250001, 19 p. (2012; Zbl 1255.03038) Full Text: DOI OpenURL
Martin, Donald A. Projective sets and cardinal numbers: some questions related to the continuum problem. (English) Zbl 1261.03143 Kechris, Alexander S. (ed.) et al., Wadge degrees and projective ordinals. The Cabal Seminar, Vol. II. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-0-521-76203-8/hbk). Lecture Notes in Logic 37, 484-508 (2012). Reviewer: Luca Motto Ros (Freiburg im Breisgau) MSC: 03E15 03E60 PDF BibTeX XML Cite \textit{D. A. Martin}, Lect. Notes Log. 37, 484--508 (2012; Zbl 1261.03143) OpenURL
Cunha do Nascimento, Mauri; Krause, Décio; de Araújo Feitosa, Hércules The quasi-lattice of indiscernible elements. (English) Zbl 1215.03073 Stud. Log. 97, No. 1, 101-126 (2011). MSC: 03G12 PDF BibTeX XML Cite \textit{M. Cunha do Nascimento} et al., Stud. Log. 97, No. 1, 101--126 (2011; Zbl 1215.03073) Full Text: DOI OpenURL
Blumensath, Achim Simple monadic theories and indiscernibles. (English) Zbl 1220.03022 Math. Log. Q. 57, No. 1, 65-86 (2011). MSC: 03C50 03C45 03C85 PDF BibTeX XML Cite \textit{A. Blumensath}, Math. Log. Q. 57, No. 1, 65--86 (2011; Zbl 1220.03022) Full Text: DOI OpenURL
Krause, Décio Logical aspects of quantum (non-)individuality. (English) Zbl 1192.81021 Found. Sci. 15, No. 1, 79-94 (2010). Reviewer: Saeid Jafari (Copenhagen) MSC: 81P05 PDF BibTeX XML Cite \textit{D. Krause}, Found. Sci. 15, No. 1, 79--94 (2010; Zbl 1192.81021) Full Text: DOI arXiv OpenURL
Leitgeb, Hannes; Ladyman, James Criteria of identity and structuralist ontology. (English) Zbl 1162.03306 Philos. Math. (3) 16, No. 3, 388-396 (2008). MSC: 03A05 00A30 PDF BibTeX XML Cite \textit{H. Leitgeb} and \textit{J. Ladyman}, Philos. Math. (3) 16, No. 3, 388--396 (2008; Zbl 1162.03306) Full Text: DOI OpenURL
Apter, Arthur W.; Koepke, Peter Making all cardinals almost Ramsey. (English) Zbl 1153.03022 Arch. Math. Logic 47, No. 7-8, 769-783 (2008). MSC: 03E02 03E25 03E35 03E45 03E55 PDF BibTeX XML Cite \textit{A. W. Apter} and \textit{P. Koepke}, Arch. Math. Logic 47, No. 7--8, 769--783 (2008; Zbl 1153.03022) Full Text: DOI OpenURL
Ketland, Jeffrey Structuralism and the identity of indiscernibles. (English) Zbl 1122.03002 Analysis, Oxf. 66, No. 4, 303-315 (2006). Reviewer: Chris Pincock (West Lafayette) MSC: 03A05 00A30 PDF BibTeX XML Cite \textit{J. Ketland}, Analysis, Oxf. 66, No. 4, 303--315 (2006; Zbl 1122.03002) Full Text: DOI OpenURL
Friedman, Sy D. A characterisation of \(0^\#\) in terms of forcing. (English) Zbl 1087.03030 Proc. Am. Math. Soc. 134, No. 6, 1823-1824 (2006). MSC: 03E40 03E45 03E55 PDF BibTeX XML Cite \textit{S. D. Friedman}, Proc. Am. Math. Soc. 134, No. 6, 1823--1824 (2006; Zbl 1087.03030) Full Text: DOI OpenURL
Bovykin, Andrey 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). MSC: 03F30 03H15 03C98 PDF BibTeX XML Cite \textit{A. Bovykin}, Contemp. Math. 380, 29--43 (2005; Zbl 1084.03045) OpenURL
Read, Stephen Identity and harmony. (English) Zbl 1070.03007 Analysis, Oxf. 64, No. 2, 113-118 (2004). Reviewer: Jim Mackenzie (Sydney) MSC: 03A05 03F03 PDF BibTeX XML Cite \textit{S. Read}, Analysis, Oxf. 64, No. 2, 113--118 (2004; Zbl 1070.03007) Full Text: DOI OpenURL
Enayat, Ali On the Leibniz-Mycielski axiom in set theory. (English) Zbl 1051.03041 Fundam. Math. 181, No. 3, 215-231 (2004). MSC: 03E25 03E35 03E65 03C62 PDF BibTeX XML Cite \textit{A. Enayat}, Fundam. Math. 181, No. 3, 215--231 (2004; Zbl 1051.03041) Full Text: DOI OpenURL
Mildenberger, Heike More canonical forms and dense free subsets. (English) Zbl 1046.03026 Ann. Pure Appl. Logic 125, No. 1-3, 75-99 (2004). Reviewer: Boaz Tsaban (Rehovot) MSC: 03E02 03E35 03E55 PDF BibTeX XML Cite \textit{H. Mildenberger}, Ann. Pure Appl. Logic 125, No. 1--3, 75--99 (2004; Zbl 1046.03026) Full Text: DOI OpenURL
Casanovas, Enrique Dividing and chain conditions. (English) Zbl 1044.03022 Arch. Math. Logic 42, No. 8, 815-819 (2003). Reviewer: A. Ryaskin (Novosibirsk) MSC: 03C45 PDF BibTeX XML Cite \textit{E. Casanovas}, Arch. Math. Logic 42, No. 8, 815--819 (2003; Zbl 1044.03022) Full Text: DOI OpenURL
Novosyolov, M. M. On indiscernibilities as algebraic structures. (Sur les indiscernabilités comme structures algébriques.) (French) Zbl 0980.03503 Karpenko, A. S. (ed.), Logical investigations. No. 7. Papers from the 2nd international conference “Smirnov’s Readings”, Moscow, Russia, May 1999. Moskva: Nauka. 285-290 (2000). MSC: 03G25 03B60 PDF BibTeX XML Cite \textit{M. M. Novosyolov}, in: Logicheskie issledovaniya. Vyp. 7. Moskva: Nauka. 285--290 (2000; Zbl 0980.03503) OpenURL
Mlček, Josef; Zlatoš, Pavol The Ramsey structure of \(A\)-determined sets in a \(\kappa\)-saturated universe. (English) Zbl 0944.03044 Buss, Samuel R. (ed.) et al., Logic colloquium ’98. Proceedings of the annual European summer meeting of the Association for Symbolic Logic, Prague, Czech Republic, August 9-15, 1998. Natick, MA: A K Peters, Ltd. Lect. Notes Log. 13, 316-333 (2000). MSC: 03E05 05D10 03C62 03C50 06E10 PDF BibTeX XML Cite \textit{J. Mlček} and \textit{P. Zlatoš}, Lect. Notes Log. 13, 316--333 (2000; Zbl 0944.03044) OpenURL
Friedman, Sy D. David’s trick. (English) Zbl 0939.03052 Cooper, S. Barry (ed.) et al., Sets and proofs. Invited papers from the Logic colloquium ’97, European meeting of the Association for Symbolic Logic, Leeds, UK, July 6-13, 1997. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 258, 67-71 (1999). MSC: 03E45 PDF BibTeX XML Cite \textit{S. D. Friedman}, Lond. Math. Soc. Lect. Note Ser. 258, 67--71 (1999; Zbl 0939.03052) Full Text: arXiv OpenURL
Kreidler, Martin; Seese, Detlef Monadic NP and graph minors. (English) Zbl 0933.03038 Gottlob, Georg (ed.) et al., Computer science logic. 12th international workshop, CSL ’98, annual conference of the EACSL, Brno, Czech Republic, August 24–28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1584, 126-141 (1999). MSC: 03C13 68Q19 03B15 03D15 05C40 PDF BibTeX XML Cite \textit{M. Kreidler} and \textit{D. Seese}, Lect. Notes Comput. Sci. 1584, 126--141 (1999; Zbl 0933.03038) OpenURL
Harizanov, Valentina S. Pure computable model theory. (English) Zbl 0952.03037 Ershov, Yu. L. (ed.) et al., Handbook of recursive mathematics. Vol. 1: Recursive model theory. Amsterdam: Elsevier. Stud. Logic Found. Math. 138, 3-114 (1998). Reviewer: A.Ryaskin (Novosibirsk) MSC: 03C57 03D45 03C15 03-02 03C50 PDF BibTeX XML Cite \textit{V. S. Harizanov}, Stud. Logic Found. Math. 138, 3--114 (1998; Zbl 0952.03037) OpenURL
Friedman, Sy D. Generic saturation. (English) Zbl 0906.03052 J. Symb. Log. 63, No. 1, 158-162 (1998). Reviewer: Miroslav Repický (Košice) MSC: 03E55 03E40 03E45 PDF BibTeX XML Cite \textit{S. D. Friedman}, J. Symb. Log. 63, No. 1, 158--162 (1998; Zbl 0906.03052) Full Text: DOI arXiv OpenURL
Dawar, Anuj Types and indiscernibles in finite models. (English) Zbl 0899.03023 Makowsky, Johann A. (ed.) et al., Logic colloquium ’95. Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9–18, 1995. Berlin: Springer. Lect. Notes Log. 11, 51-65 (1998). Reviewer: A.Ryaskin (Novosibirsk) MSC: 03C13 03D15 68Q15 PDF BibTeX XML Cite \textit{A. Dawar}, Lect. Notes Log. 11, 51--65 (1998; Zbl 0899.03023) OpenURL
Gitik, Moti; Mitchell, William J. Indiscernible sequences for extenders, and the singular cardinal hypothesis. (English) Zbl 0871.03041 Ann. Pure Appl. Logic 82, No. 3, 273-316 (1996). Reviewer: K.P.Hart (Delft) MSC: 03E55 PDF BibTeX XML Cite \textit{M. Gitik} and \textit{W. J. Mitchell}, Ann. Pure Appl. Logic 82, No. 3, 273--316 (1996; Zbl 0871.03041) Full Text: DOI arXiv OpenURL
van Lambalgen, Michiel Independence structures in set theory. (English) Zbl 0863.03027 Hodges, Wilfrid (ed.) et al., Logic: from foundations to applications. European logic colloquium, Keele, UK, July 20–29, 1993. Oxford: Clarendon Press. 277-311 (1996). Reviewer: S.Gottwald (Leipzig) MSC: 03E65 03E25 03A05 PDF BibTeX XML Cite \textit{M. van Lambalgen}, in: Logic: from foundations to applications. European logic colloquium, Keele, UK, July 20--29, 1993. Oxford: Clarendon Press. 277--311 (1996; Zbl 0863.03027) OpenURL
Welch, P. D. Determinacy in the difference hierarchy of co-analytic sets. (English) Zbl 0856.03041 Ann. Pure Appl. Logic 80, No. 1, 69-108 (1996). Reviewer: A.W.Miller (Madison) MSC: 03E60 03E15 PDF BibTeX XML Cite \textit{P. D. Welch}, Ann. Pure Appl. Logic 80, No. 1, 69--108 (1996; Zbl 0856.03041) Full Text: DOI OpenURL
Henson, C. Ward; Zlatoš, Pavol Indiscernibles and dimensional compactness. (English) Zbl 0851.46052 Commentat. Math. Univ. Carol. 37, No. 1, 199-203 (1996). MSC: 46S20 46S10 03H05 PDF BibTeX XML Cite \textit{C. W. Henson} and \textit{P. Zlatoš}, Commentat. Math. Univ. Carol. 37, No. 1, 199--203 (1996; Zbl 0851.46052) Full Text: EuDML OpenURL
Gitik, Moti On hidden extenders. (English) Zbl 0872.03034 Arch. Math. Logic 35, No. 5-6, 349-369 (1996). Reviewer: N.H.Williams (Brisbane) MSC: 03E35 PDF BibTeX XML Cite \textit{M. Gitik}, Arch. Math. Logic 35, No. 5--6, 349--369 (1996; Zbl 0872.03034) Full Text: DOI arXiv OpenURL
Ikeda, Koichiro A remark on minimal models. (English) Zbl 0848.03012 Tsukuba J. Math. 19, No. 2, 269-272 (1995). MSC: 03C45 PDF BibTeX XML Cite \textit{K. Ikeda}, Tsukuba J. Math. 19, No. 2, 269--272 (1995; Zbl 0848.03012) Full Text: DOI OpenURL
Kaye, Richard The theory of \(\kappa\)-like models of arithmetic. (English) Zbl 0848.03019 Notre Dame J. Formal Logic 36, No. 4, 547-559 (1995). Reviewer: R.Kossak (New York) MSC: 03C62 03F30 PDF BibTeX XML Cite \textit{R. Kaye}, Notre Dame J. Formal Logic 36, No. 4, 547--559 (1995; Zbl 0848.03019) Full Text: DOI OpenURL
DuBose, Derrick Albert Determinacy and the sharp function on objects of type \(k\). (English) Zbl 0843.03030 J. Symb. Log. 60, No. 4, 1025-1053 (1995). Reviewer: J.M.Plotkin (East Lansing) MSC: 03E60 03E55 PDF BibTeX XML Cite \textit{D. A. DuBose}, J. Symb. Log. 60, No. 4, 1025--1053 (1995; Zbl 0843.03030) Full Text: DOI OpenURL
Mycielski, Jan New set-theoretic axioms derived from a lean metamathematics. (English) Zbl 0834.03017 J. Symb. Log. 60, No. 1, 191-198 (1995). Reviewer: E.Coplakova (Delft) MSC: 03E45 03E65 03E60 PDF BibTeX XML Cite \textit{J. Mycielski}, J. Symb. Log. 60, No. 1, 191--198 (1995; Zbl 0834.03017) Full Text: DOI OpenURL
Ebbinghaus, Heinz-Dieter On the model theory of some generalized quantifiers. (English) Zbl 0903.03022 Krynicki, Michał(ed.) et al., Quantifiers: logics, models and computation. Volume one: Surveys. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 248, 25-62 (1995). Reviewer: M.Weese (Potsdam) MSC: 03C80 03-02 03C10 PDF BibTeX XML Cite \textit{H.-D. Ebbinghaus}, Synth. Libr. 248, 25--62 (1995; Zbl 0903.03022) OpenURL
Körner, Friederike Cofinal indiscernibles and some applications to New Foundations. (English) Zbl 0807.03024 Math. Log. Q. 40, No. 3, 347-356 (1994). Reviewer: A.Tzouvaras (Thessaloniki) MSC: 03C55 03E35 03E70 PDF BibTeX XML Cite \textit{F. Körner}, Math. Log. Q. 40, No. 3, 347--356 (1994; Zbl 0807.03024) Full Text: DOI OpenURL
Tsuboi, Akito Large indiscernible sets of a structure. (English) Zbl 0803.03020 Kobe J. Math. 10, No. 2, 173-178 (1993). Reviewer: G.Fuhrken (Minneapolis) MSC: 03C45 PDF BibTeX XML Cite \textit{A. Tsuboi}, Kobe J. Math. 10, No. 2, 173--178 (1993; Zbl 0803.03020) OpenURL
Otte, Michael Two principles of Leibniz’s philosophy in relation to the history of mathematics. (English) Zbl 0787.01005 Theoria, Segunda Epoca 8, No. 19, 113-125 (1993). Reviewer: C. Cusmir (Iaşi) MSC: 01A45 00A30 PDF BibTeX XML Cite \textit{M. Otte}, Theoria, Segunda Epoca 8, No. 19, 113--125 (1993; Zbl 0787.01005) OpenURL
Yan, Lin A necessary condition of the cardinal \(\eta_\lambda\). (English) Zbl 0969.03061 Chin. Q. J. Math. 8, No. 2, 108-110 (1993). MSC: 03E55 PDF BibTeX XML Cite \textit{L. Yan}, Chin. Q. J. Math. 8, No. 2, 108--110 (1993; Zbl 0969.03061) OpenURL
Mitchell, William J. \(\Sigma_ 3^ 1\)-absoluteness for sequences of measures. (English) Zbl 0779.03015 Set theory of the continuum, Pap. Math. Sci. Res. Inst. Workshop, Berkeley/CA (USA) 1989, Math. Sci. Res. Inst. Publ. 26, 311-355 (1992). MSC: 03E05 PDF BibTeX XML Cite \textit{W. J. Mitchell}, Math. Sci. Res. Inst. Publ. 26, 311--355 (1992; Zbl 0779.03015) OpenURL
DuBose, Derrick Albert Determinacy and the sharp function on the reals. (English) Zbl 0766.03030 Ann. Pure Appl. Logic 54, No. 1, 59-85 (1991). MSC: 03E60 03E15 PDF BibTeX XML Cite \textit{D. A. DuBose}, Ann. Pure Appl. Logic 54, No. 1, 59--85 (1991; Zbl 0766.03030) Full Text: DOI OpenURL
Otto, Martin Ehrenfeucht-Mostowski-Konstruktionen in Erweiterungslogiken. (Ehrenfeucht-Mostowski constructions in extended logics). (German) Zbl 0714.03031 Freiburg i.Br.: Univ. Freiburg, Math. Fak., Diss. 94 S. (1990). Reviewer: M.Yasuhara MSC: 03C30 03C80 PDF BibTeX XML Cite \textit{M. Otto}, Ehrenfeucht-Mostowski-Konstruktionen in Erweiterungslogiken. (Ehrenfeucht-Mostowski constructions in extended logics). Freiburg i.Br.: Univ. Freiburg, Math. Fak. (1990; Zbl 0714.03031) OpenURL
Caicedo, Xavier Definability properties and the congruence closure. (English) Zbl 0733.03029 Arch. Math. Logic 30, No. 4, 231-240 (1990). Reviewer: J.Oikkonen (Helsinki) MSC: 03C80 03C40 03C75 PDF BibTeX XML Cite \textit{X. Caicedo}, Arch. Math. Logic 30, No. 4, 231--240 (1990; Zbl 0733.03029) Full Text: DOI OpenURL
Friedman, Sy D. The \(\Pi ^ 1_ 2\)-singleton conjecture. (English) Zbl 0725.03030 J. Am. Math. Soc. 3, No. 4, 771-791 (1990). Reviewer: K.Gloede (Heidelberg) MSC: 03E45 03E55 03E15 03D60 PDF BibTeX XML Cite \textit{S. D. Friedman}, J. Am. Math. Soc. 3, No. 4, 771--791 (1990; Zbl 0725.03030) Full Text: DOI OpenURL
Kanamori, Akihiro; Awerbuch-Friedlander, Tamara The compleat \(0^{†}\). (English) Zbl 0712.03044 Z. Math. Logik Grundlagen Math. 36, No. 2, 133-141 (1990). Reviewer: N.H.Williams MSC: 03E45 03E55 03E10 PDF BibTeX XML Cite \textit{A. Kanamori} and \textit{T. Awerbuch-Friedlander}, Z. Math. Logik Grundlagen Math. 36, No. 2, 133--141 (1990; Zbl 0712.03044) Full Text: DOI OpenURL
Shelah, Saharon; Makkai, Michael Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal. (English) Zbl 0704.03015 Ann. Pure Appl. Logic 47, No. 1, 41-97 (1990). Reviewer: M.Weese MSC: 03C35 03C75 03C45 PDF BibTeX XML Cite \textit{S. Shelah} and \textit{M. Makkai}, Ann. Pure Appl. Logic 47, No. 1, 41--97 (1990; Zbl 0704.03015) Full Text: DOI OpenURL
Donder, Hans-Dieter; Levinski, Jean-Pierre Some principles related to Chang’s conjecture. (English) Zbl 0714.03048 Ann. Pure Appl. Logic 45, No. 1, 39-101 (1989). Reviewer: L.Bukovský MSC: 03E55 PDF BibTeX XML Cite \textit{H.-D. Donder} and \textit{J.-P. Levinski}, Ann. Pure Appl. Logic 45, No. 1, 39--101 (1989; Zbl 0714.03048) Full Text: DOI OpenURL
Schmerl, James H. Large resplendent models generated by indiscernibles. (English) Zbl 0708.03013 J. Symb. Log. 54, No. 4, 1382-1388 (1989). Reviewer: R.Kossak MSC: 03C62 03H15 03C50 PDF BibTeX XML Cite \textit{J. H. Schmerl}, J. Symb. Log. 54, No. 4, 1382--1388 (1989; Zbl 0708.03013) Full Text: DOI OpenURL
Giuntini, Roberto; Mittelstaedt, Peter The Leibniz principle in quantum logic. (English) Zbl 0682.03038 Int. J. Theor. Phys. 28, No. 2, 159-168 (1989). Reviewer: H.Nishimura MSC: 03G12 81P10 PDF BibTeX XML Cite \textit{R. Giuntini} and \textit{P. Mittelstaedt}, Int. J. Theor. Phys. 28, No. 2, 159--168 (1989; Zbl 0682.03038) Full Text: DOI OpenURL
Čuda, Karel; Vojtášková, Blanka Monads of indiscernibles. (English) Zbl 0671.03033 Commentat. Math. Univ. Carol. 30, No. 1, 109-119 (1989). Reviewer: K.Čuda MSC: 03E70 54J05 03E05 PDF BibTeX XML Cite \textit{K. Čuda} and \textit{B. Vojtášková}, Commentat. Math. Univ. Carol. 30, No. 1, 109--119 (1989; Zbl 0671.03033) Full Text: EuDML OpenURL
McAloon, K.; Ressayre, J. P. Independent statements about finite stretchable structures. (English) Zbl 0691.03034 Proc. Am. Math. Soc. 104, No. 2, 603-610 (1988). MSC: 03E35 03C62 PDF BibTeX XML Cite \textit{K. McAloon} and \textit{J. P. Ressayre}, Proc. Am. Math. Soc. 104, No. 2, 603--610 (1988; Zbl 0691.03034) Full Text: DOI OpenURL
Kudajbergenov, K. Zh. Elementary extensions, ommission of types, and homogeneous models. (English. Russian original) Zbl 0667.03023 Algebra Logic 27, No. 2, 95-109 (1988); translation from Algebra Logika 27, No. 2, 148-171 (1988). MSC: 03C45 03C07 PDF BibTeX XML Cite \textit{K. Zh. Kudajbergenov}, Algebra Logic 27, No. 2, 95--109 (1988; Zbl 0667.03023); translation from Algebra Logika 27, No. 2, 148--171 (1988) Full Text: DOI OpenURL
Donder, Hans-Dieter; Koepke, Peter; Levinski, Jean-Pierre Some stationary subsets of P(\(\lambda\) ). (English) Zbl 0663.03043 Proc. Am. Math. Soc. 102, No. 4, 1000-1004 (1988). Reviewer: K.P.Hart MSC: 03E55 PDF BibTeX XML Cite \textit{H.-D. Donder} et al., Proc. Am. Math. Soc. 102, No. 4, 1000--1004 (1988; Zbl 0663.03043) Full Text: DOI OpenURL
Kudaĭbergenov, K. Zh. Elementary extensions, omitting types and homogeneous models. (Russian) Zbl 0659.03007 Algebra Logika 27, No. 2, 148-171 (1988). Reviewer: A.N.Ryaskin MSC: 03C45 03C07 PDF BibTeX XML Cite \textit{K. Zh. Kudaĭbergenov}, Algebra Logika 27, No. 2, 148--171 (1988; Zbl 0659.03007) Full Text: EuDML OpenURL
Grossberg, Rami A downward Löwenheim-Skolem theorem for infinitary theories which have the unsuperstability property. (English) Zbl 0646.03032 J. Symb. Log. 53, No. 1, 231-242 (1988). Reviewer: R.Kossak MSC: 03C75 03C45 PDF BibTeX XML Cite \textit{R. Grossberg}, J. Symb. Log. 53, No. 1, 231--242 (1988; Zbl 0646.03032) Full Text: DOI OpenURL
Lascar, Daniel Stability in model theory. Transl. from the French by J. E. Wallington. (English) Zbl 0678.03015 Pitman Monographs and Surveys in Pure and Applied Mathematics, 36. Harlow: Longman Scientific & Technical; New York: John Wiley & Sons, Inc. 193 p. £26.00 (1987). Reviewer: M.Weese MSC: 03C45 03-02 03-01 PDF BibTeX XML Cite \textit{D. Lascar}, Stability in model theory. Transl. from the French by J. E. Wallington. Harlow: Longman Scientific \&| Technical; New York: John Wiley \&| Sons, Inc. (1987; Zbl 0678.03015) OpenURL
Čuda, K.; Vojtášková, B. Minimal monads. (English) Zbl 0638.03050 Commentat. Math. Univ. Carol. 28, 691-706 (1987). Reviewer: K.Čuda MSC: 03E70 54J05 PDF BibTeX XML Cite \textit{K. Čuda} and \textit{B. Vojtášková}, Commentat. Math. Univ. Carol. 28, 691--706 (1987; Zbl 0638.03050) OpenURL
Shelah, Saharon Universal classes. (English) Zbl 0637.03028 Classification theory, Proc. U.S.-Israel Workshop on Model Theory in Math. Logic, Chicago/IL 1985, Lect. Notes Math. 1292, 264-418 (1987). Reviewer: A.N.Ryaskin MSC: 03C52 03C45 03C75 PDF BibTeX XML OpenURL
Wehrung, Friedrich Non absoluité d’injections élémentaires. (Non absoluteness of elementary embeddings). (French) Zbl 0632.03042 C. R. Acad. Sci., Paris, Sér. I 304, 503-505 (1987). MSC: 03E55 03C62 03E40 PDF BibTeX XML Cite \textit{F. Wehrung}, C. R. Acad. Sci., Paris, Sér. I 304, 503--505 (1987; Zbl 0632.03042) OpenURL
Mitchell, W. Applications of the covering lemma for sequences of measures. (English) Zbl 0626.03047 Trans. Am. Math. Soc. 299, 41-58 (1987). MSC: 03E45 03E35 03E55 PDF BibTeX XML Cite \textit{W. Mitchell}, Trans. Am. Math. Soc. 299, 41--58 (1987; Zbl 0626.03047) Full Text: DOI OpenURL
Mitchell, William Prikry forcing at \(\kappa ^ +\) and beyond. (English) Zbl 0625.03036 J. Symb. Log. 52, 44-50 (1987). Reviewer: R.David MSC: 03E55 03E40 PDF BibTeX XML Cite \textit{W. Mitchell}, J. Symb. Log. 52, 44--50 (1987; Zbl 0625.03036) Full Text: DOI OpenURL
Čuda, K. A contribution to topology in AST: compactness. (English) Zbl 0617.03033 Commentat. Math. Univ. Carol. 28, 43-61 (1987). MSC: 03E70 54J05 PDF BibTeX XML Cite \textit{K. Čuda}, Commentat. Math. Univ. Carol. 28, 43--61 (1987; Zbl 0617.03033) Full Text: EuDML OpenURL
Lascar, D. Stabilité en théorie des modèles. (Stability in model theory). (French) Zbl 0655.03021 Monographies de Mathématique, 2. Louvain-la-Neuve: Université Catholique de Louvain, Institut de Mathématique Pure et Appliquée; Cabay Libraire-Éditeur S. A. II, 231 p. (1986). MSC: 03C45 03-02 03-01 PDF BibTeX XML OpenURL
MacPherson, H. D. Groups of automorphisms of \(\aleph _ 0\)-categorical structures. (English) Zbl 0611.03014 Q. J. Math., Oxf. II. Ser. 37, 449-465 (1986). Reviewer: S.R.Kogalovskij MSC: 03C35 20B27 20B07 20A15 PDF BibTeX XML Cite \textit{H. D. MacPherson}, Q. J. Math., Oxf. II. Ser. 37, 449--465 (1986; Zbl 0611.03014) Full Text: DOI OpenURL
Sureson, Claude \(\omega_ 1\)-constructible universe and measurable cardinals. (English) Zbl 0593.03029 Ann. Pure Appl. Logic 30, 293-320 (1986). MSC: 03E55 03E45 PDF BibTeX XML Cite \textit{C. Sureson}, Ann. Pure Appl. Logic 30, 293--320 (1986; Zbl 0593.03029) Full Text: DOI OpenURL
Mlček, J. Some automorphisms of natural numbers in the alternative set theory. (English) Zbl 0583.03042 Commentat. Math. Univ. Carol. 26, 467-475 (1985). Reviewer: K.Čuda MSC: 03E70 03C50 03H15 PDF BibTeX XML Cite \textit{J. Mlček}, Commentat. Math. Univ. Carol. 26, 467--475 (1985; Zbl 0583.03042) Full Text: EuDML OpenURL
Kierstead, H. A.; Remmel, J. B. Degrees of indiscernibles in decidable models. (English) Zbl 0579.03008 Trans. Am. Math. Soc. 289, 41-57 (1985). Reviewer: J.M.Plotkin MSC: 03B25 PDF BibTeX XML Cite \textit{H. A. Kierstead} and \textit{J. B. Remmel}, Trans. Am. Math. Soc. 289, 41--57 (1985; Zbl 0579.03008) Full Text: DOI OpenURL
Krivine, J.-L. Méthodes de théorie des modèles en géométrie des espaces de Banach. (French) Zbl 0594.03020 Sémin. gén. de logique, Paris 1982-83, Publ. Math. Univ. Paris VII 19, 179-186 (1984). Reviewer: R.A.Herrmann MSC: 03C99 46B20 PDF BibTeX XML OpenURL
David, René Generic reals close to \(O^{\#}\). (English) Zbl 0555.03019 Axiomatic set theory, Proc. AMS-IMS-SIAM Jt. Summer Res. Conf., Boulder/Colo. 1983, Contemp. Math. 31, 63-70 (1984). MSC: 03E35 PDF BibTeX XML OpenURL
Mitchell, William J. The core model for sequences of measures. I. (English) Zbl 0539.03030 Math. Proc. Camb. Philos. Soc. 95, 229-260 (1984). Reviewer: L.Bukovský MSC: 03E45 03E55 PDF BibTeX XML Cite \textit{W. J. Mitchell}, Math. Proc. Camb. Philos. Soc. 95, 229--260 (1984; Zbl 0539.03030) Full Text: DOI OpenURL
Kranakis, Evangelos Definable Ramsey and definable Erdős ordinals. (English) Zbl 0535.03028 Arch. Math. Logik Grundlagenforsch. 23, 115-128 (1983). Reviewer: F.R.Drake MSC: 03E47 03E45 03E55 PDF BibTeX XML Cite \textit{E. Kranakis}, Arch. Math. Logik Grundlagenforsch. 23, 115--128 (1983; Zbl 0535.03028) Full Text: DOI EuDML OpenURL
Steinhorn, Charles A new omitting types theorem. (English) Zbl 0529.03009 Proc. Am. Math. Soc. 89, 480-486 (1983). MSC: 03C15 03C45 PDF BibTeX XML Cite \textit{C. Steinhorn}, Proc. Am. Math. Soc. 89, 480--486 (1983; Zbl 0529.03009) Full Text: DOI OpenURL
Pillay, Anand An introduction to stability theory. (English) Zbl 0526.03014 Oxford Logic Guides, 8. Oxford: Clarendon Press. XI, 146 p. £15.00 (1983). MSC: 03C45 03-01 03-02 PDF BibTeX XML OpenURL
Kierstead, H. A.; Remmel, J. B. Indiscernibles and decidable models. (English) Zbl 0523.03030 J. Symb. Log. 48, 21-32 (1983). MSC: 03D45 03C45 03C80 PDF BibTeX XML Cite \textit{H. A. Kierstead} and \textit{J. B. Remmel}, J. Symb. Log. 48, 21--32 (1983; Zbl 0523.03030) Full Text: DOI OpenURL
Trillas, Enric Essay on the relations of indistinguishability. (Catalan) Zbl 0527.03006 Mathematical logic, Proc. 1st Catalonian Congr., Barcelona 1982, 51-59 (1982). MSC: 03B52 03B60 03E72 PDF BibTeX XML OpenURL
Wagner, C. M. On Martin’s conjecture. (English) Zbl 0523.03018 Ann. Math. Logic 22, 47-67 (1982). MSC: 03C15 03C35 03C45 PDF BibTeX XML Cite \textit{C. M. Wagner}, Ann. Math. Logic 22, 47--67 (1982; Zbl 0523.03018) Full Text: DOI OpenURL
Broesterhuizen, Guus Locally orderable structures. (English) Zbl 0497.03024 Z. Math. Logik Grundlagen Math. 28, 7-14 (1982). MSC: 03C50 PDF BibTeX XML Cite \textit{G. Broesterhuizen}, Z. Math. Logik Grundlagen Math. 28, 7--14 (1982; Zbl 0497.03024) Full Text: DOI OpenURL
von der Twer, Tassilo Some remarks on the mathematical incompleteness of Peano’s arithmetic found by Paris and Harrington. (English) Zbl 0522.03056 Set theory and model theory, Proc. Symp., Bonn 1979, Lect. Notes Math. 872, 157-174 (1981). MSC: 03H15 03F30 PDF BibTeX XML OpenURL
Zadrozny, Wlodzimierz A new inner model for ZFC. (English) Zbl 0483.03034 J. Symb. Log. 46, 393-396 (1981). MSC: 03E45 03C62 PDF BibTeX XML Cite \textit{W. Zadrozny}, J. Symb. Log. 46, 393--396 (1981; Zbl 0483.03034) Full Text: DOI OpenURL
Charretton, Christine; Pouzet, Maurice Les chaînes dans les modeles d’Ehrenfeucht-Mostowski. (French) Zbl 0434.03024 C. R. Acad. Sci., Paris, Sér. A 290, 715-717 (1980). MSC: 03C52 PDF BibTeX XML Cite \textit{C. Charretton} and \textit{M. Pouzet}, C. R. Acad. Sci., Paris, Sér. A 290, 715--717 (1980; Zbl 0434.03024) OpenURL
Grigorieff, Serge Le réel O sharp. (French) Zbl 0522.03036 Theorie des ensembles, Semin. GMS, Publ. Math. Univ. Paris VII 5, 149-162 (1979). MSC: 03E45 03E35 03E55 03-02 PDF BibTeX XML OpenURL