Search results for "Math. Log. Q."

Hits ?▲	Authors	Title	Venue	Year	Link
1	Giorgio Laguzzi, Heike Mildenberger, Brendan Stuber-Rousselle	On splitting trees.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
1	Tatsuji Kawai	Coding of real-valued continuous functions under WKL $\mathsf {WKL}$.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
1	Mohsen Nourany, Shokoofeh Ghorbani, Arsham Borumand Saeid	On self-distributive weak Heyting algebras.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
1	Sergio A. Celani, Hernán Javier San Martín	On the variety of strong subresiduated lattices.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
1	Alfred Dolich, John Goodrick	Topological properties of definable sets in ordered Abelian groups of burden 2.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
1	Daoud Siniora	Bowtie-free graphs and generic automorphisms.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
1	Masato Fujita	Pregeometry over locally o-minimal structures and dimension.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
1	Liviu Paunescu, Andrei Sipos	A proof-theoretic metatheorem for tracial von Neumann algebras.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
1	Teng Zhang	Incomparable V γ $V_\gamma$ -degrees.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
1	Alex Creiner, Stephen Jackson	Borel complexity and Ramsey largeness of sets of oracles separating complexity classes.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
1	Joel David Hamkins	Infinite Wordle and the mastermind numbers.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
1	Xianglong Ruan, Xiaochuan Liu	A categorical equivalence between logical quantale modules and quantum B-modules.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
1	Adam Prenosil	Logics of upsets of De Morgan lattices.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
1	Martin Hils, Rosario Mennuni	Some definable types that cannot be amalgamated.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
1	Masato Fujita	Decomposition into special submanifolds.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
1	Emil Jerábek	Models of VTC 0 $\mathsf {VTC^0}$ as exponential integer parts.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
1	Toby Meadows	Forcing revisited.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
1	Jouko Väänänen, Philip D. Welch	When cardinals determine the power set: inner models and Härtig quantifier logic.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
1	Will Johnson	A note on fsg $\text{fsg}$ groups in p-adically closed fields.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
1	Supakun Panasawatwong, Pimpen Vejjajiva	The permutations with n non-fixed points and the subsets with n elements of a set.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
1	Sebastijan Horvat, Tin Perkov, Mladen Vukovic	Bisimulations and bisimulation games between Verbrugge models.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
1	Borisa Kuzeljevic, Stevo Todorcevic	Cofinal types on ω2.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
1	Kyriakos Keremedis, Eleftherios Tachtsis	On Hausdorff operators in ZF $\mathsf {ZF}$.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
1	Zachiri McKenzie	The subset relation and 2-stratified sentences in set theory and class theory.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
1	Marat Kh. Faizrahmanov	A classification of low c.e. sets and the Ershov hierarchy.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
1	Saharon Shelah	Nice ℵ1 generated non-P-points, Part I.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
1	James E. Hanson	Approximate isomorphism of metric structures.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
1	Guozhen Shen	The power set and the set of permutations with finitely many non-fixed points of a set.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
1	Noah Schweber	Avoiding Medvedev reductions inside a linear order.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
1	Guozhen Shen	On a cardinal inequality in ZF $\mathsf {ZF}$.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
1	Johannes Philipp Schürz	The cofinality of the strong measure zero ideal for κ inaccessible.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
1	David B. Bradley-Williams, Immanuel Halupczok	Spherically complete models of Hensel minimal valued fields.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
1	Joseph McDonald, Katalin Bimbó	Topological duality for orthomodular lattices.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
1	Ömer Faruk Bag, Vera Fischer	Strongly unfoldable, splitting and bounding.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
1	Panagiotis Rouvelas	Strong Ambiguity.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	John Kenneth Truss	Interpreting the weak monadic second order theory of the ordered rationals.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1		Contents: (Math. Log. Quart. 3/2022).	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Andrew W. Swan	A class of higher inductive types in Zermelo-Fraenkel set theory.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Adi Jarden, Ziv Shami	A note on edge colorings and trees.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Luciano J. González	On the logic of distributive nearlattices.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Marat Kh. Faizrahmanov	Extremal numberings and fixed point theorems.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Saharon Shelah	Forcing axioms for λ-complete μ + $\mu ^+$ -c.c.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Nikolay Bazhenov 0001, Hsing-chien Tsai	On the effective universality of mereological theories.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Emil Jerábek	The theory of hereditarily bounded sets.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Jørgen Harmse	Algebraic completion without the axiom of choice.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Adam Krawczyk, Alex Kruckman, Wieslaw Kubis, Aristotelis Panagiotopoulos	Examples of weak amalgamation classes.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Raffaella Cutolo, Joel David Hamkins	Choiceless large cardinals and set-theoretic potentialism.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Miklós Ferenczi	On the algebraization of Henkin-type second-order logic.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Nikolay Bazhenov 0001, Manat Mustafa, Zhansaya Tleuliyeva	Rogers semilattices of limitwise monotonic numberings.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Pierre Matet	Piece selection and cardinal arithmetic.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1		Contents: (Math. Log. Quart. 1/2022).	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Guozhen Shen	Remarks on infinite factorials and cardinal subtraction in ZF $\mathsf{ZF}$.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Yoshihito Tanaka	An extension of Jónsson-Tarski representation and model existence in predicate non-normal modal logics.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Rosario Mennuni	Weakly binary expansions of dense meet-trees.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Evan Goris, Marta Bílková, Joost J. Joosten, Luka Mikec	Theory and application of labelling techniques for interpretability logics.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Athanassios Tzouvaras	Some structural similarities between uncountable sets, powersets and the universe.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Jindrich Zapletal	Sequential topologies and Dedekind finite sets.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Fabiana Castiblanco, Ralf Schindler	When is a real generic over L?	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Athar Abdul-Quader, James H. Schmerl	CP-generic expansions of models of Peano Arithmetic.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Gábor Sági	Automorphism invariant measures and weakly generic automorphisms.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Farmer Schlutzenberg	Choice principles in local mantles.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1		Cover Picture.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1		Contents: (Math. Log. Quart. 2/2022).	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Pantelis E. Eleftheriou	Product cones in dense pairs.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Angelina Ilic-Stepic, Mateja Knezevic, Zoran Ognjanovic	Intuitionistic propositional probability logic.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Haim Horowitz, Saharon Shelah	κ-Madness and definability.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Daisuke Ikegami	Determinacy and regularity properties for idealized forcings.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	François G. Dorais, Dan Hathaway	Bounding 2d functions by products of 1d functions.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Xia Zhang, Wolfgang Rump	Quantum B-modules.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Atticus Stonestrom	Some model theory of Th ( N , · ) $\operatorname{Th}(\mathbb {N}, \cdot )$.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Tomás Lávicka, Tommaso Moraschini, James G. Raftery	The algebraic significance of weak excluded middle laws.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1		Cover Picture.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Bob A. Dumas	Gap-2 morass-definable η1-orderings.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Harold T. Hodes	Cut-conditions on sets of multiple-alternative inferences.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1		Cover Picture.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Makoto Fujiwara, Taishi Kurahashi	Refining the arithmetical hierarchy of classical principles.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Arthur W. Apter	Controlling the number of normal measures at successor cardinals.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Masato Fujita, Tomohiro Kawakami, Wataru Komine	Tameness of definably complete locally o-minimal structures and definable bounded multiplication.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
1	Mirjana Ilic	A note on an alternative Gentzenization of RW + ∘.	Math. Log. Q.	2021	DBLP DOI BibTeX RDF
1	Hisashi Aratake	Sheaves of structures, Heyting-valued structures, and a generalization of Łoś's theorem.	Math. Log. Q.	2021	DBLP DOI BibTeX RDF
1	Laurence Kirby	Bounded finite set theory.	Math. Log. Q.	2021	DBLP DOI BibTeX RDF
1	Hugo Albuquerque	The Suszko operator relative to truth-equational logics.	Math. Log. Q.	2021	DBLP DOI BibTeX RDF
1	Masato Fujita	Uniformly locally o-minimal open core.	Math. Log. Q.	2021	DBLP DOI BibTeX RDF
1	Jialiang He	On height of group trees on tame abelian product groups.	Math. Log. Q.	2021	DBLP DOI BibTeX RDF
1	Nathanaël Mariaule	Expansions of Presburger arithmetic with the exchange property.	Math. Log. Q.	2021	DBLP DOI BibTeX RDF
1	Cheng Peng	Normalizing notations in the Ershov hierarchy.	Math. Log. Q.	2021	DBLP DOI BibTeX RDF
1	Alexi Block Gorman, Erin Caulfield, Philipp Hieronymi	Pathological examples of structures with o-minimal open core.	Math. Log. Q.	2021	DBLP DOI BibTeX RDF
1	Tarek Sayed Ahmed	Omitting types algebraically and more about amalgamation for modal cylindric algebras.	Math. Log. Q.	2021	DBLP DOI BibTeX RDF
1	Lothar Sebastian Krapp, Salma Kuhlmann, Gabriel Lehéricy	Strongly NIP almost real closed fields.	Math. Log. Q.	2021	DBLP DOI BibTeX RDF
1		Cover Picture.	Math. Log. Q.	2021	DBLP DOI BibTeX RDF
1	Huishan Wu	Effective aspects of Jacobson radicals of rings.	Math. Log. Q.	2021	DBLP DOI BibTeX RDF
1	Gábor Sági	The profinite topology of free groups and weakly generic tuples of automorphisms.	Math. Log. Q.	2021	DBLP DOI BibTeX RDF
1		Cover Picture.	Math. Log. Q.	2021	DBLP DOI BibTeX RDF
1	Roland Sh. Omanadze, Irakli O. Chitaia	r-Maximal sets and Q 1 , N -reducibility.	Math. Log. Q.	2021	DBLP DOI BibTeX RDF
1	Christian d'Elbée	Generic expansion of an abelian variety by a subgroup.	Math. Log. Q.	2021	DBLP DOI BibTeX RDF
1	Andrew DeLapo	Bernoulli randomness and Bernoulli normality.	Math. Log. Q.	2021	DBLP DOI BibTeX RDF
1	Dominik Thomas Adolf	Some basic thoughts on the cofinalities of Chang structures with an application to forcing.	Math. Log. Q.	2021	DBLP DOI BibTeX RDF
1		Contents: (Math. Log. Quart. 4/2021).	Math. Log. Q.	2021	DBLP DOI BibTeX RDF
1	Karim Khanaki	ℵ0-categorical Banach spaces contain ℓ p or c0.	Math. Log. Q.	2021	DBLP DOI BibTeX RDF
1		Contents: (Math. Log. Quart. 2/2021).	Math. Log. Q.	2021	DBLP DOI BibTeX RDF

Publications at "Math. Log. Q."( http://dblp.L3S.de/Venues/Math._Log._Q. )