Found 1,559 Documents (Results 1–100)
Continuum many different things: localisation, anti-localisation and Yorioka ideals. (English) Zbl 07848930
A new model construction by making a detour via intuitionistic theories. IV: A closer connection between \(\mathrm{KP} \omega\) and \(\mathrm{BI}\). (English) Zbl 07848920
What is a restrictive theory? (English) Zbl 07827528
A good lightface \(\varDelta_n^1\) well-ordering of the reals does not imply the existence of boldface \(\mathbf{\Delta}_{n - 1}^1\) well-orderings. (English) Zbl 07827506
Strong ergodicity phenomena for Bernoulli shifts of bounded algebraic dimension. (English) Zbl 07815138
Boolean valued models, Boolean valuations, and Löwenheim-Skolem theorems. (English) Zbl 07802222
MSC:
03-XX
Insights into quantum contextuality and Bell nonclassicality: a study on random pure two-qubit systems. (English) Zbl 1537.81017
\(\Omega\)-sets and empirical sets revisited. (\(\Omega\)-ensembles et ensembles empiriques revisités.) (French. English summary) Zbl 1530.18008
Reviewer: Hirokazu Nishimura (Tsukuba)
Some contributions to sheaf model theory. arXiv:2409.18089
Preprint, arXiv:2409.18089 [math.LO] (2024).
Forking in valued fields and related structures. arXiv:2409.16393
Preprint, arXiv:2409.16393 [math.LO] (2024).
Intermediate models and Kinna–Wagner Principles. arXiv:2409.07352
Preprint, arXiv:2409.07352 [math.LO] (2024).
Forcing as a Local Method of Accessing Small Extensions. arXiv:2409.03441
Preprint, arXiv:2409.03441 [math.LO] (2024).
Clarifying ordinals. arXiv:2408.10367
Preprint, arXiv:2408.10367 [math.LO] (2024).
Slalom numbers. arXiv:2406.19901
Preprint, arXiv:2406.19901 [math.LO] (2024).
An almost Kurepa Suslin tree with strongly non-saturated square. arXiv:2406.10463
Preprint, arXiv:2406.10463 [math.LO] (2024).
A general theory of iterated forcing using finitely additive measures. arXiv:2406.09978
Preprint, arXiv:2406.09978 [math.LO] (2024).
On Quantifiers for Quantitative Reasoning. arXiv:2406.04936
Preprint, arXiv:2406.04936 [math.LO] (2024).
Upwards homogeneity in iterated symmetric extensions. arXiv:2405.08639
Preprint, arXiv:2405.08639 [math.LO] (2024).
Reduced Products of Collapsing Algebras. arXiv:2403.17930
Preprint, arXiv:2403.17930 [math.LO] (2024).
Homomorphism Preservation Theorems for Many-Valued Structures. arXiv:2403.00217
Preprint, arXiv:2403.00217 [math.LO] (2024).
Forcing techniques for Cichoń’s Maximum: Lecture notes for the mini-course at the University of Vienna. arXiv:2402.11852
Preprint, arXiv:2402.11852 [math.LO] (2024).
The cardinal characteristics of the ideal generated by the \(F_\sigma\) measure zero subsets of the reals. arXiv:2402.04984
Preprint, arXiv:2402.04984 [math.LO] (2024).
Anatomy of \(\tilde{\mathbb{E}}\). arXiv:2402.04706
Preprint, arXiv:2402.04706 [math.LO] (2024).
Forcing with Language Fragments, Extending Namba Forcing, and Models of Theories with Constraints in Interpretation. arXiv:2402.01213
Preprint, arXiv:2402.01213 [math.LO] (2024).
Forcing Over a Free Suslin Tree. arXiv:2402.00226
Preprint, arXiv:2402.00226 [math.LO] (2024).
Soft-linkedness. arXiv:2402.00144
Preprint, arXiv:2402.00144 [math.LO] (2024).
Uniformity numbers of the null-additive and meager-additive ideals. arXiv:2401.15364
Preprint, arXiv:2401.15364 [math.LO] (2024).
The intersection number for forcing notions. arXiv:2401.14552
Preprint, arXiv:2401.14552 [math.LO] (2024).
On the local coordination of fuzzy valuations. (Russian. English summary) Zbl 1537.03022
Lower bounds of sets of P-points. (English) Zbl 1542.03065
Reviewer: Rahman Mohammadpour (Gdansk)
New results on model reconstruction of Boolean networks with application to gene regulatory networks. (English) Zbl 07781770
A friendly iteration forcing that the four cardinal characteristics of \(\mathcal{E}\) can be pairwise different. (English) Zbl 07763135
Quantum roughness as sensitivity to diffusion noise: quantifying non-classicality of multi-mode systems. (English) Zbl 1533.81047
A Lindström theorem for intuitionistic first-order logic. (English) Zbl 1540.03016
Reviewer: Yaroslav Shramko (Kryvyi Rih)
Forcing revisited. (English) Zbl 1542.03064
Reviewer: Rodrigo Freire (São Paulo)
MSC:
03E40
Fresh function spectra. (English) Zbl 07719410
Improvement of nonmonotone complexity estimates of \(k\)-valued logic functions. (English. Russian original) Zbl 1527.94097
Math. Notes 113, No. 6, 794-803 (2023); translation from Mat. Zametki 113, No. 6, 849-862 (2023).
On sequences of homomorphisms into measure algebras and the Efimov problem. (English) Zbl 1528.28005
Connected spaces and forcing. (English) Zbl 1509.54006
Reviewer: Miroslav Repický (Košice)
On Kripke completeness of modal predicate logics around quantified K5. (English) Zbl 1523.03007
Reviewer: Ignacio Viglizzo (Bahía Blanca)
Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model. (English) Zbl 1509.03150
Reviewer: Yair Hayut (Jerusalem)
Copies of Monomorphic Structures. arXiv:2401.00550
Preprint, arXiv:2401.00550 [math.LO] (2023).
Forcing With Copies of Uncountable Ordinals. arXiv:2401.00302
Preprint, arXiv:2401.00302 [math.LO] (2023).
The measure algebra adding \(\theta\)-many random reals is \(\theta\)-FAM-linked. arXiv:2312.13443
Preprint, arXiv:2312.13443 [math.LO] (2023).
Whitehead’s problem and condensed mathematics. arXiv:2312.09122
Preprint, arXiv:2312.09122 [math.LO] (2023).
On semiproperness of Namba forcings and Ideals in Prikry extensions. arXiv:2311.11498
Preprint, arXiv:2311.11498 [math.LO] (2023).
Separating cardinal characteristics of the strong measure zero ideal. arXiv:2309.01931
Preprint, arXiv:2309.01931 [math.LO] (2023).
Marginalia to a Theorem of Asperó and Schindler. arXiv:2308.08293
Preprint, arXiv:2308.08293 [math.LO] (2023).
Prikry type forcings and the Bukovský-Dehornoy phenomena. arXiv:2308.05553
Preprint, arXiv:2308.05553 [math.LO] (2023).
A Guide to Krivine Realizability for Set Theory. arXiv:2307.13563
Preprint, arXiv:2307.13563 [math.LO] (2023).
Aronszajn trees and maximality – Part 2. arXiv:2305.07880
Preprint, arXiv:2305.07880 [math.LO] (2023).
Does \(\mathsf{DC}\) imply \(\mathsf{AC}_\omega\), uniformly? arXiv:2305.06676
Preprint, arXiv:2305.06676 [math.LO] (2023).
More about the cofinality and the covering of the ideal of strong measure zero sets. arXiv:2304.12805
Preprint, arXiv:2304.12805 [math.LO] (2023).
More on Halfway New Cardinal Characteristics. arXiv:2304.09698
Preprint, arXiv:2304.09698 [math.LO] (2023).
Preservation of AD via forcings. arXiv:2304.00449
Preprint, arXiv:2304.00449 [math.LO] (2023).
Set Theory with Urelements. arXiv:2303.14274
Preprint, arXiv:2303.14274 [math.LO] (2023).
Iterating Semi-proper Forcing using Virtual Models. arXiv:2303.12565
Preprint, arXiv:2303.12565 [math.LO] (2023).
A Rigid Kurepa Tree From a Free Suslin Tree. arXiv:2303.05633
Preprint, arXiv:2303.05633 [math.LO] (2023).
Stable ordered-union versus selective ultrafilters. arXiv:2302.05539
Preprint, arXiv:2302.05539 [math.LO] (2023).
Remarks on my algebraic problem of determining similarities between certain quotient Boolean algebras. (English) Zbl 07877833
Preservation of properties of a map by forcing. (English) Zbl 07584115
Reviewer: K. P. Hart (Delft)
Forcing constructions and countable Borel equivalence relations. (English) Zbl 1526.03005
Reviewer: Longyun Ding (Tianjin)
Equivalence of generics. (English) Zbl 07557510
Filter Results by …
Document Type
- Journal Articles (1,217)
- Collection Articles (181)
- Books (70)
- arXiv Preprints (91)
all
top 5
Author
- Shelah, Saharon (84)
- Kutateladze, Semën Samsonovich (52)
- Kusraev, Anatoliĭ Georgievich (50)
- Zapletal, Jindřich (43)
- Friedman, Sy-David (34)
- Kurilić, Miloš S. (30)
- Hamkins, Joel David (29)
- Mejía, Diego Alejandro (25)
- Rosłanowski, Andrzej (25)
- Krueger, John (24)
- Larson, Paul B. (22)
- Kanovei, Vladimir G. (21)
- Todorcevic, Stevo B. (19)
- Brendle, Jörg (18)
- Gitik, Moti (17)
- Lyubetsky, Vassily Aleksandrovich (17)
- Repický, Miroslav (15)
- Fuchs, Gunter (14)
- Jech, Thomas J. (14)
- Takeuti, Gaisi (14)
- Ben-Yaacov, Itaï (13)
- Cardona, Miguel Antonio (13)
- Gutman, Aleksandr Efimovich (13)
- Magidor, Menachem (13)
- Nishimura, Hirokazu (13)
- Dobrinen, Natasha L. (12)
- Kellner, Jakob (12)
- Woodin, W. Hugh (12)
- Farah, Ilijas (11)
- Lubarsky, Robert S. (11)
- Ozawa, Masanao (11)
- Velickovic, Boban (11)
- Goldstern, Martin Robert (10)
- Asperó, David (9)
- Coquand, Thierry (9)
- Löwe, Benedikt (9)
- Moerdijk, Ieke (9)
- Schindler, Ralf-Dieter (9)
- Spinas, Otmar (9)
- Blass, Andreas Raphael (8)
- Goldbring, Isaac (8)
- Stanley, Maurice C. (8)
- Yoshinobu, Yasuo (8)
- Bagheri, Seyed Mohammad (7)
- Balcar, Bohuslav (7)
- Cox, Sean D. (7)
- Foreman, Matthew D. (7)
- Gitman, Victoria (7)
- Hirschorn, James (7)
- Hrušák, Michael (7)
- Iwasa, Akira (7)
- Keisler, Howard Jerome (7)
- Klausner, Lukas Daniel (7)
- Ruitenburg, Wim B. G. (7)
- Schlindwein, Chaz (7)
- Scowcroft, Philip (7)
- Steprāns, Juris (7)
- Venturi, Giorgio (7)
- Viale, Matteo (7)
- Dahn, Bernd Ingo (6)
- Fischer, Vera (6)
- Grayson, Robin J. (6)
- Halbeisen, Lorenz J. (6)
- Hathaway, Dan (6)
- Holy, Peter (6)
- Judah, Haim I. (6)
- Kamburelis, Anastasis (6)
- Lücke, Philipp Moritz (6)
- Marković, Zoran M. (6)
- Moore, Justin Tatch (6)
- Neeman, Itay (6)
- Shehtman, Valentin B. (6)
- Slaman, Theodore A. (6)
- Antos, Carolin (5)
- Apter, Arthur W. (5)
- Bagaria, Joan (5)
- Bukovský, Lev (5)
- Cummings, James (5)
- Eisworth, Todd (5)
- Emel’yanov, Èduard Yur’evich (5)
- Fourman, Michael Paul (5)
- Fuchino, Sakaé (5)
- Gordon, Evgeniĭ Izrail’evich (5)
- Ikegami, Daisuke (5)
- Khomskii, Yurii Daniilovich (5)
- Kunen, Kenneth (5)
- Laver, Richard Joseph (5)
- Li, Na (5)
- Mildenberger, Heike (5)
- Miraglia, Francisco (5)
- Połacik, Tomasz (5)
- Raghavan, Dilip (5)
- Roitman, Judith (5)
- Ščedrov, Andrej (5)
- Schlicht, Philipp (5)
- Schlutzenberg, Farmer (5)
- Schweber, Noah David (5)
- Shen, Fuxing (5)
- Tarafder, Sourav (5)
- Usuba, Toshimichi (5)
- and 795 more Authors
all
top 5
Serial
- J. Symb. Log. (187)
- Ann. Pure Appl. Logic (129)
- Arch. Math. Logic (83)
- Math. Log. Q. (56)
- Fundam. Math. (49)
- Isr. J. Math. (34)
- Proc. Am. Math. Soc. (27)
- Notre Dame J. Formal Logic (24)
- Z. Math. Logik Grundlagen Math. (24)
- Sib. Math. J. (21)
- Commentat. Math. Univ. Carol. (18)
- Trans. Am. Math. Soc. (18)
- J. Math. Log. (16)
- Topology Appl. (15)
- Stud. Log. (14)
- Vladikavkaz. Mat. Zh. (14)
- Ann. Math. Logic (13)
- Adv. Math. (12)
- J. Pure Appl. Algebra (10)
- Sov. Math., Dokl. (10)
- Rev. Symb. Log. (10)
- Colloq. Math. (9)
- Log. J. IGPL (9)
- Acta Univ. Carol., Math. Phys. (8)
- Comment. Math. Univ. St. Pauli (8)
- Topol. Proc. (8)
- Math. Res. Lett. (8)
- Bull. Symb. Log. (8)
- J. Philos. Log. (7)
- Int. J. Theor. Phys. (6)
- Acta Math. Sin. (6)
- Algebra Logic (6)
- Fuzzy Sets Syst. (6)
- Mem. Am. Math. Soc. (6)
- Publ. Inst. Math., Nouv. Sér. (6)
- Rep. Math. Logic (6)
- Sib. Adv. Math. (6)
- Can. Math. Bull. (5)
- J. Math. Soc. Japan (5)
- Synthese (5)
- J. Beijing Norm. Univ., Nat. Sci. (5)
- Ann. Math. (2) (5)
- Math. Appl., Dordr. (5)
- Math. Notes (4)
- Can. J. Math. (4)
- Sib. Mat. Zh. (4)
- Tatra Mt. Math. Publ. (4)
- J. Appl. Anal. (4)
- Lect. Notes Ser. Inst. Math. Sci. Natl. Univ. Singap. (4)
- Log. Univers. (4)
- J. Appl. Log. - IfCoLog J. Log. Appl. (4)
- J. Math. Anal. Appl. (3)
- Math. Proc. Camb. Philos. Soc. (3)
- Mat. Zametki (3)
- Bull. Lond. Math. Soc. (3)
- Czech. Math. J. (3)
- J. Algebra (3)
- Publ. Res. Inst. Math. Sci. (3)
- Real Anal. Exch. (3)
- J. Nanjing Univ., Math. Biq. (3)
- Order (3)
- Kobe J. Math. (3)
- J. Log. Comput. (3)
- C. R. Acad. Sci., Paris, Sér. I (3)
- Kexue Tongbao, Sci. Bull. (3)
- Optimizatsiya (3)
- Math. Morav. (3)
- Acta Phys. Pol. B (3)
- Australas. J. Log. (3)
- Seminarber., Humboldt-Univ. Berlin, Sekt. Math. (3)
- Oxf. Logic Guides (3)
- Stud. Logic Found. Math. (3)
- J. Appl. Ind. Math. (3)
- Computability (3)
- Arch. Math. Logik Grundlagenforsch. (2)
- Russ. Math. Surv. (2)
- Acta Sci. Math. (2)
- Algebra Univers. (2)
- Ann. Japan Assoc. Philos. Sci. (2)
- Indag. Math. (2)
- J. Korean Math. Soc. (2)
- J. Lond. Math. Soc., II. Ser. (2)
- Log. Anal., Nouv. Sér. (2)
- Math. Japon. (2)
- Math. Slovaca (2)
- Monatsh. Math. (2)
- Pac. J. Math. (2)
- Proc. Math. Phys. Soc. Egypt (2)
- Publ. Math. Debr. (2)
- Quaest. Math. (2)
- Bull. Greek Math. Soc. (2)
- Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. (2)
- J. Math., Wuhan Univ. (2)
- Chin. Ann. Math., Ser. A (2)
- Acta Math. Hung. (2)
- Acta Sci. Nat. Univ. Pekin. (2)
- Facta Univ., Ser. Math. Inf. (2)
- J. Jiangxi Norm. Univ., Nat. Sci. Ed. (2)
- Math. Struct. Comput. Sci. (2)
- Bull. Pol. Acad. Sci., Math. (2)
- and 159 more Serials
all
top 5
Year of Publication
- 2024 (40)
- 2023 (46)
- 2022 (30)
- 2021 (45)
- 2020 (29)
- 2019 (39)
- 2018 (43)
- 2017 (45)
- 2016 (46)
- 2015 (50)
- 2014 (45)
- 2013 (38)
- 2012 (41)
- 2011 (26)
- 2010 (32)
- 2009 (33)
- 2008 (45)
- 2007 (39)
- 2006 (30)
- 2005 (27)
- 2004 (23)
- 2003 (35)
- 2002 (19)
- 2001 (36)
- 2000 (29)
- 1999 (32)
- 1998 (31)
- 1997 (33)
- 1996 (37)
- 1995 (25)
- 1994 (23)
- 1993 (28)
- 1992 (19)
- 1991 (32)
- 1990 (27)
- 1989 (36)
- 1988 (23)
- 1987 (27)
- 1986 (29)
- 1985 (23)
- 1984 (23)
- 1983 (31)
- 1982 (36)
- 1981 (28)
- 1980 (15)
- 1979 (31)
- 1978 (27)
- 1977 (15)
- 1976 (2)
- 1973 (1)
- 1972 (1)
- 1971 (4)
- 1970 (5)
- 1969 (2)
- 1968 (1)
- 1964 (1)
all
top 3
Main Field
- 03-XX (1,544)
- 06-XX (119)
- 46-XX (105)
- 54-XX (102)
- 18-XX (65)
- 28-XX (57)
- 68-XX (44)
- 47-XX (26)
- 81-XX (25)
- 05-XX (24)
- 91-XX (24)
- 08-XX (20)
- 26-XX (20)
- 60-XX (19)
- 20-XX (18)
- 00-XX (16)
- 13-XX (13)
- 94-XX (12)
- 37-XX (9)
- 22-XX (7)
- 11-XX (6)
- 16-XX (6)
- 93-XX (6)
- 12-XX (5)
- 55-XX (5)
- 01-XX (4)
- 17-XX (4)
- 83-XX (4)
- 14-XX (3)
- 49-XX (3)
- 62-XX (3)
- 90-XX (3)
- 30-XX (2)
- 43-XX (2)
- 52-XX (2)
- 57-XX (2)
- 15-XX (1)
- 34-XX (1)
- 40-XX (1)
- 42-XX (1)
- 45-XX (1)
- 51-XX (1)
- 53-XX (1)
- 58-XX (1)
- 70-XX (1)
- 78-XX (1)
- 86-XX (1)
- 92-XX (1)
- 97-XX (1)
all
top 3
Software
- Coq (2)
- MathOverflow (2)
- Agda (1)
- Archive Formal Proofs (1)
- CESAR (1)
- Completeness theorem (1)
- FEYNMAN (1)
- FOL Fitting (1)
- GitHub (1)
- Isabelle/ZF (1)
- Lean (1)
- MaGIC (1)