skip to main content
Language:
Search Limited to: Search Limited to: Resource type Show Results with: Show Results with: Search type Index

Results 1 - 20 of 660  for All Library Resources

Results 1 2 3 4 5 next page
Show only
Refined by: language: German remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Invariant Universality for Projective Planes
Material Type:
Article
Add to My Research

Invariant Universality for Projective Planes

Reports on mathematical logic, 2023-01, Vol.58 (58), p.15-27 [Peer Reviewed Journal]

2023. This work is published under https://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;ISSN: 0137-2904 ;EISSN: 2084-2589 ;DOI: 10.4467/20842589RM.23.002.18801

Full text available

2
High-strength wall ceramics based on phosphorus slag and bentonite clay
Material Type:
Article
Add to My Research

High-strength wall ceramics based on phosphorus slag and bentonite clay

Nanotehnologii v stroitelʹstve, 2022-01, Vol.14 (1), p.11-17 [Peer Reviewed Journal]

2022. This work is published under https://creativecommons.org/licenses/by/4.0 (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;ISSN: 2075-8545 ;EISSN: 2075-8545 ;DOI: 10.15828/2075-8545-2022-14-1-11-17

Full text available

3
A Model Theory for the Potential Infinite
Material Type:
Article
Add to My Research

A Model Theory for the Potential Infinite

Reports on mathematical logic, 2022-01, Vol.57 (57), p.3-30 [Peer Reviewed Journal]

2022. This work is published under https://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;ISSN: 0137-2904 ;EISSN: 2084-2589 ;DOI: 10.4467/20842589RM.22.001.16658

Full text available

4
Notes on the decidability of addition and the Frobenius map for polynomials and rational functions
Material Type:
Article
Add to My Research

Notes on the decidability of addition and the Frobenius map for polynomials and rational functions

Reports on mathematical logic, 2022 (57), p.53-60 [Peer Reviewed Journal]

2022. This work is published under https://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;ISSN: 0137-2904 ;EISSN: 2084-2589 ;DOI: 10.4467/20842589RM.22.004.16661

Full text available

5
Non-generators in extensions of infinitary algebras
Material Type:
Article
Add to My Research

Non-generators in extensions of infinitary algebras

Reports on mathematical logic, 2022 (57), p.31-43 [Peer Reviewed Journal]

2022. This work is published under https://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;ISSN: 0137-2904 ;EISSN: 2084-2589 ;DOI: 10.4467/20842589RM.22.002.16659

Full text available

6
A Maximality Theorem for Continuous First Order Theories
Material Type:
Article
Add to My Research

A Maximality Theorem for Continuous First Order Theories

Reports on mathematical logic, 2022 (57), p.61-93 [Peer Reviewed Journal]

2022. This work is published under https://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;ISSN: 0137-2904 ;EISSN: 2084-2589 ;DOI: 10.4467/20842589RM.22.005.16662

Full text available

7
Engaging Researchers with Data Management: The Cookbook
Material Type:
Book
Add to My Research

Engaging Researchers with Data Management: The Cookbook

ISBN: 9781783747986 ;ISBN: 1783747986 ;EISBN: 1783747994 ;EISBN: 9781783747993 ;DOI: 10.11647/OBP.0185 ;OCLC: 1124606173

Full text available

8
Batteriespeicher: Rechtliche, technische und wirtschaftliche Rahmenbedingungen
Material Type:
Book
Add to My Research

Batteriespeicher: Rechtliche, technische und wirtschaftliche Rahmenbedingungen

ISBN: 9783110458480 ;ISBN: 3110458489 ;ISBN: 9783110455779 ;ISBN: 3110455773 ;EISBN: 9783110458480 ;EISBN: 3110458489 ;EISBN: 3110456079 ;EISBN: 9783110456073 ;DOI: 10.1515/9783110458480 ;OCLC: 1027202809

Full text available

9
Nielsen-Schreier and the Axiom of Choice
Material Type:
Article
Add to My Research

Nielsen-Schreier and the Axiom of Choice

Mathematical logic quarterly, 2015-11, Vol.61 (6), p.458-465 [Peer Reviewed Journal]

2015 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim ;ISSN: 0942-5616 ;EISSN: 1521-3870 ;DOI: 10.1002/malq.201400046 ;CODEN: MLQUEF

Full text available

10
The two-variable fragment with counting and equivalence
Material Type:
Article
Add to My Research

The two-variable fragment with counting and equivalence

Mathematical logic quarterly, 2015-11, Vol.61 (6), p.474-515 [Peer Reviewed Journal]

2015 The Authors. published by WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim ;ISSN: 0942-5616 ;EISSN: 1521-3870 ;DOI: 10.1002/malq.201400102 ;CODEN: MLQUEF

Full text available

11
Decomposing the real line into Borel sets closed under addition
Material Type:
Article
Add to My Research

Decomposing the real line into Borel sets closed under addition

Mathematical logic quarterly, 2015-11, Vol.61 (6), p.466-473 [Peer Reviewed Journal]

2015 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim ;ISSN: 0942-5616 ;EISSN: 1521-3870 ;DOI: 10.1002/malq.201400100 ;CODEN: MLQUEF

Full text available

12
On notions of representability for cylindric-polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality
Material Type:
Article
Add to My Research

On notions of representability for cylindric-polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality

Mathematical logic quarterly, 2015-11, Vol.61 (6), p.418-477 [Peer Reviewed Journal]

2015 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim ;ISSN: 0942-5616 ;EISSN: 1521-3870 ;DOI: 10.1002/malq.201300064 ;CODEN: MLQUEF

Full text available

13
A note on infinitary continuous logic
Material Type:
Article
Add to My Research

A note on infinitary continuous logic

Mathematical logic quarterly, 2015-11, Vol.61 (6), p.448-457 [Peer Reviewed Journal]

2015 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim ;ISSN: 0942-5616 ;EISSN: 1521-3870 ;DOI: 10.1002/malq.201400077 ;CODEN: MLQUEF

Full text available

14
Ramsey for R 1 ultrafilter mappings and their Dedekind cuts
Material Type:
Article
Add to My Research

Ramsey for R 1 ultrafilter mappings and their Dedekind cuts

Mathematical logic quarterly, 2015-08, Vol.61 (4-5), p.263 [Peer Reviewed Journal]

ISSN: 0942-5616 ;EISSN: 1521-3870 ;DOI: 10.1002/malq.201300078 ;CODEN: MLQUEF

Full text available

15
Maximal cofinitary groups revisited
Material Type:
Article
Add to My Research

Maximal cofinitary groups revisited

Mathematical logic quarterly, 2015-08, Vol.61 (4-5), p.367-379 [Peer Reviewed Journal]

2015 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim ;ISSN: 0942-5616 ;EISSN: 1521-3870 ;DOI: 10.1002/malq.201400070 ;CODEN: MLQUEF

Full text available

16
A definable Henselian valuation with high quantifier complexity
Material Type:
Article
Add to My Research

A definable Henselian valuation with high quantifier complexity

Mathematical logic quarterly, 2015-08, Vol.61 (4-5), p.362-366 [Peer Reviewed Journal]

2015 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim ;ISSN: 0942-5616 ;EISSN: 1521-3870 ;DOI: 10.1002/malq.201500024 ;CODEN: MLQUEF

Full text available

17
The strong reflecting property and Harrington's Principle
Material Type:
Article
Add to My Research

The strong reflecting property and Harrington's Principle

Mathematical logic quarterly, 2015-08, Vol.61 (4-5), p.329-340 [Peer Reviewed Journal]

2015 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim ;ISSN: 0942-5616 ;EISSN: 1521-3870 ;DOI: 10.1002/malq.201400016 ;CODEN: MLQUEF

Full text available

18
Digraph parameters and finite set arithmetic
Material Type:
Article
Add to My Research

Digraph parameters and finite set arithmetic

Mathematical logic quarterly, 2015-08, Vol.61 (4-5), p.250-262 [Peer Reviewed Journal]

2015 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim ;ISSN: 0942-5616 ;EISSN: 1521-3870 ;DOI: 10.1002/malq.201400062 ;CODEN: MLQUEF

Full text available

19
Continued fractions of primitive recursive real numbers
Material Type:
Article
Add to My Research

Continued fractions of primitive recursive real numbers

Mathematical logic quarterly, 2015-08, Vol.61 (4-5), p.288-306 [Peer Reviewed Journal]

2015 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim ;ISSN: 0942-5616 ;EISSN: 1521-3870 ;DOI: 10.1002/malq.201400013 ;CODEN: MLQUEF

Full text available

20
Nonstandard analysis of global attractors
Material Type:
Article
Add to My Research

Nonstandard analysis of global attractors

Mathematical logic quarterly, 2015-08, Vol.61 (4-5), p.315-328 [Peer Reviewed Journal]

2015 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim ;ISSN: 0942-5616 ;EISSN: 1521-3870 ;DOI: 10.1002/malq.201400029 ;CODEN: MLQUEF

Full text available

Results 1 - 20 of 660  for All Library Resources

Results 1 2 3 4 5 next page

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Show only

  1. Peer-reviewed Journals (203)

Refine My Results

Creation Date 

From To
  1. Before 1962  (91)
  2. 1962 To 1976  (141)
  3. 1977 To 1990  (117)
  4. 1991 To 2006  (59)
  5. After 2006  (345)
  6. More options open sub menu

Resource Type 

  1. Articles  (546)
  2. Books  (114)
  3. More options open sub menu

Language 

  1. English  (408)
  2. French  (144)
  3. Japanese  (19)
  4. Russian  (5)
  5. Afrikaans  (2)
  6. More options open sub menu

Searching Remote Databases, Please Wait