Login / Signup
Reports Math. Log.
1991
2001
2011
2022
1991
2022
Keyphrases
Publications
volume 57, 2022
Matthias Eberl
A Model Theory for the Potential Infinite.
Reports Math. Log.
57 (2022)
Paolo Lipparini
Non-generators in extensions of infinitary algebras.
Reports Math. Log.
57 (2022)
Nathanael L. Ackerman
,
Mary Leah Karker
A Maximality Theorem for Continuous First Order Theories.
Reports Math. Log.
57 (2022)
Roberta Bonacina
,
Daniel Misselbeck-Wessel
A formal approach to Menger's theorem.
Reports Math. Log.
57 (2022)
Dimitra Chompitaki
,
Manos Kamarianakis
,
Thanases Pheidas
Notes on the decidability of addition and the Frobenius map for polynomials and rational functions.
Reports Math. Log.
57 (2022)
volume 56, 2021
Satoru Niki
,
Hitoshi Omori
A note on Humberstone's constant Ω.
Reports Math. Log.
56 (2021)
Mojtaba Moniri
Corrigendum to "On Definable Completeness for Ordered Fields" RML, 54 (2019), 95-100.
Reports Math. Log.
56 (2021)
Tin Perkov
,
Luka Mikec
Tableau-based translation from first-order logic to modal logic.
Reports Math. Log.
56 (2021)
Nattapon Sonpanow
,
Pimpen Vejjajiva
Some cardinal characteristics related to the covering number and the uniformity of the meagre ideal.
Reports Math. Log.
56 (2021)
Conrado Gomez
,
Miguel Andrés Marcos
,
Hernán Javier San Martín
On the relation of negations in Nelson algebras.
Reports Math. Log.
56 (2021)
Rodrigo A. Freire
Embeddability Between Orderings and GCH.
Reports Math. Log.
56 (2021)
volume 55, 2020
Gianluca Paolini
A New ω-Stable Plane.
Reports Math. Log.
55 (2020)
Roberto Giuntini
,
Claudia Muresan
,
Francesco Paoli
PBZ*-lattices: Structure theory and subvarieties.
Reports Math. Log.
55 (2020)
Samuele Maschio
Natural density and probability, constructively.
Reports Math. Log.
55 (2020)
Saeed Salehi
On Rudimentarity, Primitive Recursivity and Representability.
Reports Math. Log.
55 (2020)
Patrizio Cintioli
Corrigendum to "Sets with no subsets of higher weak truth-table degree", Reports on Mathematical Logic, 53 (2018).
Reports Math. Log.
55 (2020)
Gianluca Paolini
,
Saharon Shelah
Some Results on Polish Groups.
Reports Math. Log.
55 (2020)
Piotr Pikul
Locally ordered topological spaces.
Reports Math. Log.
55 (2020)
volume 54, 2019
Boris Sobot
Divisibility in βN and *N.
Reports Math. Log.
54 (2019)
Riccardo Camerlo
Continuous reducibility: functions versus relations.
Reports Math. Log.
54 (2019)
Mojtaba Moniri
On definable completeness for ordered fields.
Reports Math. Log.
54 (2019)
Andrzej Roslanowski
,
Saharon Shelah
Borel sets without perfectly many overlapping translations.
Reports Math. Log.
54 (2019)
Samuel G. Da Silva
Reductions between certain incidence problems and the Continuum Hypothesis.
Reports Math. Log.
54 (2019)
Nebojsa Mudrinski
The largest higher commutator sequence.
Reports Math. Log.
54 (2019)
Éva Jungábel
On some homomorphism-homogeneous point-line geometries.
Reports Math. Log.
54 (2019)
volume 53, 2018
Mitio Takano
A semantical analysis of cut-free calculi for modal logics.
Reports Math. Log.
53 (2018)
Peter Schuster
,
Daniel Wessel
A General Extension Theorem for Directed-Complete Partial Orders.
Reports Math. Log.
53 (2018)
Vincenzo Dimonte
The *-Prikry condition.
Reports Math. Log.
53 (2018)
Juan Carlos Martinez
On PCF spaces which are not Frechet-Urysohn.
Reports Math. Log.
53 (2018)
Yoshihito Tanaka
A cut-free proof system for a predicate extension of the logic of provability.
Reports Math. Log.
53 (2018)
Patrizio Cintioli
Sets with no subsets of higher weak truth-table degree.
Reports Math. Log.
53 (2018)
Lukasz Lachowski
On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic.
Reports Math. Log.
53 (2018)
volume 52, 2017
Mirjana Ilic
A Natural Deduction and its Corresponding Sequent Calculus for Positive Contraction-less Relevant Logic.
Reports Math. Log.
52 (2017)
Norihiro Kamide
Paraconsistent sequential linear-time temporal logic: Combining paraconsistency and sequentiality in temporal reasoning.
Reports Math. Log.
52 (2017)
Tomasz F. Skura
Refutations in Wansing's Logic.
Reports Math. Log.
52 (2017)
Ahmad Karimi
A Non-Self-Referential Paradox in Epistemic Game Theory.
Reports Math. Log.
52 (2017)
George Voutsadakis
Categorical Abstract Algebraic Logic: Wójcicki's Conjecture and Malinowski's Theorem.
Reports Math. Log.
52 (2017)
Hugo Albuquerque
,
Josep Maria Font
,
Ramon Jansana
Note of the Full Generalized Models of the Extensions of a Logic.
Reports Math. Log.
52 (2017)
volume 51, 2016
Marcin Mostowski
Truth in the limit.
Reports Math. Log.
51 (2016)
Christopher J. Taylor
Discriminator varieties of double-Heyting algebras.
Reports Math. Log.
51 (2016)
Hitoshi Omori
A Note on Wansing's expansion of Nelson's logic - a correction to "An axiomatization of Wansing's expansion of Nelson's logic".
Reports Math. Log.
51 (2016)
Gemma Robles
The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property.
Reports Math. Log.
51 (2016)
George Voutsadakis
Categorical abstract algebraic logic weakly referential π-institutions.
Reports Math. Log.
51 (2016)
Sergio A. Celani
,
Ismael Calomino
On homomorphic images and the free distributive lattice extension of a distributive nearlattice.
Reports Math. Log.
51 (2016)
Greg Oman
Unifying some notions of infinity in ZC and ZF.
Reports Math. Log.
51 (2016)
Gert-Jan C. Lokhorst
An alternative intuitionistic version of Mally's deontic logic.
Reports Math. Log.
51 (2016)
Bruno Dinis
,
Gilda Ferreira
Instantiation overflow.
Reports Math. Log.
51 (2016)
volume 50, 2015
Hernando Gaitán
Endomorphisms and subalgebras of Tarski algebras.
Reports Math. Log.
50 (2015)
Boris Sobot
Divisibility in the Stone-Cech compactification.
Reports Math. Log.
50 (2015)
Hitoshi Omori
An axiomatization of Wansing's expansion of Nelson's logic.
Reports Math. Log.
50 (2015)